Иногда возникает задача восстановления для логической функции, описываемой ДНФ произвольного вида к совершенной дизъюнктивной нормальной форме, реализующей ту же логическую функцию. Этот переход возможен, конечно, через таблицу истинности, однако более простым является так называемый мотод расщепления. Рассмотрим его на примере. Пусть логическая функция трех переменных представлена следующей логической формулой
.
Переход к СДНФ проведем путем следующих очевидных преобразований
.
