כל מה שרצית לדעת על DNF:
Disjunctive Normal Form או הצורה הנורמלית הדיסיונקטיבית – הוא ביטוי המורכב מאוסף פרדיקטים לוגיים המחוברים ביניהם על ידי ביטויי "או" כאשר כל פרידיקט הוא אוסף של ביטויים המחוברים ביניהם על ידי ביטויי "וגם".
השימושית מתבטאת בכך שניתן להביא כל ביטוי לוגי לצורת DNF.