Элементарной дизъюнкцией называется дизъюнкция переменных или их отрицаний, в которой каждая переменная встречается не более одного раза.
Конъюнктивной нормальной формой (КНФ) называется конъюнкция элементарных дизъюнкций.
Пример: 
Совершенная КНФ (СКНФ) называется КНФ, каждая элементарная дизъюнкция которой содержит все переменные.
Правило получения СКНФ функции по ее таблице истинности:
СКНФ стоится из элементарных дизъюнкций, соответствующих обратным наборам на которых функция равна нулю.
Пример:
Получить СКНФ функций, заданных таблично
| x1
| x2
| f1
| f2
|
| 0
| 0
| 0
| 1
|
| 0
| 1
| 1
| 0
|
| 1
| 0
| 1
| 0
|
| 1
| 1
| 0
| 0
|
Пример:
Найти СДНФ логических функций f1-f3 заданных таблично.
| x1
| x2
| f1
| f2
| f3
|
| 0
| 0
| 1
| 0
| 0
|
| 0
| 1
| 0
| 0
| 1
|
| 1
| 0
| 1
| 0
| 1
|
| 1
| 1
| 0
| 1
| 0
|
Решение:
