Дисјунктивен нормален облик: Разлика помеѓу преработките

Во [[Булова алгебра|Буловата логика]], дисјунктивната нормална форма (ДНФ) претставува стандардизација (или нормализација) на логичка формула која е дисјункција на конјуктивни клаузи; таа може исто така да биде опишана како ИЛИ од И, збир на производи, или (во филозофската логика) како концепт на кластери.Како нормална форма, таа е корисна во автоматското докажување на теореми. Една логичка формула се смета дека е во ДНФ, ако и само ако, таа е [[Логичка дисјункција|дисјункција]] од една или повеќе [[Логичка конјункција|конјункции]] на еден или повеќе литерали. ДНФ формула е во целосна дисјунктивна нормална форма ако секоја од нејзините променливи се појавува само еднаш во секој минтерм. Како и кај [[конјунктивна нормална форма (КНФ)|конјуктивната нормална форма (КНФ)]], единствените дозволени оператори во ДНФ се И, ИЛИ и НЕГАЦИЈА. Операторот [[Негација|НЕГАЦИЈА]] може да се користи единствено како дел од литерал, што значи дека тој може да претходи единствено на пропозициска променлива.На пример, сите овие формули се во ДНФ:

: <math>(A \land \neg B \land \neg C) \lor (\neg D \land E \land F)</math>