Алгоритм построения СДНФ.

1. Для единичных выходов входные переменные связать знаком конъюнкции, инвертируя нулевые входы

2. Элементарные конъюнкции связать знаком дизъюнкции.

Пример. По таблице истинности

x	y

построить СДНФ.

Решение. Для единичных выходов запишем элементарные конъюнкции, инвертируя нулевые входы:

x	y		ЭК

Полученные выражения свяжем операцией дизъюнкции: