Используя приведенную выше формулу, получим, что

и

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

Совершенная конъюнктивная нормальная форма строится ана­логично совершенной д. н. ф. Совершенной к. н. ф. логической функции от двоич­ных переменных называется конъюнктивная нормальная форма, удовлетворяющая следующим условиям [2]:

A. в ней нет двух одинаковых дизъюнкций;

B. ни одна дизъюнкция не содержит двух одинаковых двоичных пере­менных;

C. ни одна дизъюнкция не содержит какой-либо двоичной пе­ременной вместе с ее отрицанием;

D. каждая дизъюнкция содержит в качестве слагаемого либо двоичную переменную либо ее отрицание