Приведение к дизъюнктивной нормальной форме

Процедура приведения к ДНФ:

1. Все отрицания “спустить” до переменных с помощью п.5.

2. Раскрыть скобки с помощью п.1, п.3а), п.3б).

3. Удалить лишние конъюнкции и повторения переменных в конъюнкциях с помощью п.4, п.8, п.9.

4. Удалить константы с помощью п.6.

Процедура приведения ДНФ к СКНФ состоит в расщеплении (обратном склеивании) конъюнкций, которые содержат не все переменные.