Построение СДНФ:
1. Преобразование исходной формулы в ДНФ (см выше):
Шаг 1.
Преобразовать исходную формулу к равносильному ей виду, в котором есть лишь операции конъюнкции, дизъюнкции и отрицания (перейти в сигнатуру алгебры логики), причём отрицания могут стоять лишь над элементарными переменными высказываниями (использовать закон Де-Моргана).
Шаг 2.
Преобразовать полученную формулу к равносильному ей виду, в котором все конъюнкции выполняются раньше, чем дизъюнкции (раскрыть скобки), т.е. построить ДНФ для исходной формулы.