Дизъюнктивной нормальной формой (ДНФ) называется форма записи логического выражения, которая представляет собой дизъюнкцию (или) конъюнктивных членов, каждый из которых состоит из переменных или их отрицаний.
Пример логического выражения в ДНФ:
(A ∧ B) ∨ (¬A ∧ C) ∨ (B ∧ ¬C)