DNF
מתוך ויקיפדיה, האנציקלופדיה החופשית
Disjunctive Normal Form או הצורה הנורמלית הדיסיונקטיבית - הינו ביטוי המורכב מאוסף פרידיקטים לוגיים המחוברים ביניהם על ידי ביטויי AND. כל פרידיקט הוא אוסף של ביטויים המחוברים ביניהם על ידי ביטויי OR. בעזרת חוקי נרמול וזהויות לוגיות ניתן להביא כל ביטוי לוגי לצורת DNF.