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