1. В таблице истинности найти строки, имеющие в графе функции значения «0».
2. Для каждой строки, содержащей «0» в графе функции, записать в скобках логическую сумму всех переменных и соединить скобки символом логического умножения.
3. В каждой сумме над входными переменными, имеющими значение «1» в соответствующей строке таблицы истинности, поставить символ отрицания.
В качестве примера рассмотрим составление СКНФ для функции f, представленной табл. 14.
В таблице имеются три строки с нулевыми значениями функции. Это строки 2, 4 и 6.
Делаем заготовку формулы – в правой части записываем три дизъюнкции (каждая в скобках)
.
Теперь проставляем отрицания над переменными, имеющими значение 1 в соответствующих наборах,
.
