Для приведения произвольной ДНФ к КДНФ необходимо использовать правило дизъюнктивного развертывания применительно к каждому из неполных конъюнктивных термов.
, где P - неполный конъюнктивный терм (ранг этого терма меньше n), а xi - недостающий в терме аргумент.
Пример:
Замечание:
После раскрытия скобок могут получиться одинаковые термы, из которых нужно оставить только один.
- числовая форма функции.
Преобразование КНФ к ККНФ реализуется путем применения правила конъюнктивного развертывания к каждому неполному дизъюнктивному терму.
Пример:
- числовая форма функции.
