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