Строим таблицу значений формулы. Рассматриваем только те строки, в которых значение формулы равно единице. Каждой такой строке соответствует конъюнкция всех аргументов (без повторений). Причем, аргумент, принимающий значение 0, входит в нее с отрицанием, значение 1 – без отрицания. Наконец, образуем дизъюнкцию всех полученных конъюнкций.
Пример 29.
Построить СДНФ для данных формул логики высказываний.
1. 
.
2. 
Решение.
1. .
Строим таблицу истинности (табл. 13) для формулы F:
Таблица 13
Рассматриваем только 4, 5 и 7 наборы, так как только на этих наборах формула принимает значение равное единице.
СДНФ имеет вид: 
2. 2.
Строим таблицу истинности (табл. 14) для формулы F:
Таблица 14
СДНФ (1): № 3:
F = x y.
