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