Во [[Булова алгебра|Буловата логика]], дисјунктивната нормална форма (ДНФ) претставува стандардизација (или нормализација) на логичка формула која е дисјункција на конјуктивни минтермиклаузи; таа може исто така да биде опишана како ИЛИ од И, збир на производи, или (во филозофската логика) како концепт на кластери.Како нормална форма, таа е корисна во автоматското докажување на теореми. Една логичка формула се смета дека е во ДНФ, ако и само ако, таа е [[Логичка дисјункција|дисјункција]] од една или повеќе [[Логичка конјункција|конјункции]] на еден или повеќе литерали. ДНФ формула е во целосна дисјунктивна нормална форма ако секоја од нејзините променливи се појавува само еднаш во секој минтерм. Како и кај [[конјунктивна нормална форма (КНФ)|конјуктивната нормална форма (КНФ)]], единствените дозволени оператори во ДНФ се И, ИЛИ и НЕГАЦИЈА. Операторот [[Негација|НЕГАЦИЈА]] може да се користи единствено како дел од литерал, што значи дека тој може да претходи единствено на пропозициска променлива.На пример, сите овие формули се во ДНФ:
: <math>(A \and \neg B \and \neg C) \or (\neg D \and E \and F)</math>
