Для заданной булевой функции трёх переменных

Таблица истинности:
x y z
0 0 0 1 1 1 1 0 1
0 0 1 1 1 1 1 0 1
0 1 0 1 0 1 1 0 1
0 1 1 1 0 1 1 0 1
1 0 0 0 1 0 1 1 0
1 0 1 0 1 0 0 0 1
1 1 0 0 0 1 1 0 1
1 1 1 0 0 1 0 1 0
Согласно правилу построения СДНФ, выберем единичные значения функции и построим соответствующие им элементарные конъюнкции . Тогда, соединяя эти элементарные конъюнкции операцией дизъюнкции, получим СДНФ:
.
Выбирая нулевые значения функции, аналогичным образом построим сначала элементарные дизъюнкции