Используя приведенную выше формулу, получим, что
и
Первая и третья конъюнкции идентичны. Исключение одной из них не влияет на истинность конечного результата, т. е. одна из них является «лишней» и ее можно исключить. Действительно, для любой логической функции справедливо равенство , и окончательный результат имеет вид
Совершенная конъюнктивная нормальная форма строится аналогично совершенной д. н. ф. Совершенной к. н. ф. логической функции от двоичных переменных называется конъюнктивная нормальная форма, удовлетворяющая следующим условиям [2]:
A. в ней нет двух одинаковых дизъюнкций;
B. ни одна дизъюнкция не содержит двух одинаковых двоичных переменных;
C. ни одна дизъюнкция не содержит какой-либо двоичной переменной вместе с ее отрицанием;
D. каждая дизъюнкция содержит в качестве слагаемого либо двоичную переменную либо ее отрицание