Пусть задана некоторая функция алгебры логики от n переменных. Рассмотрим отрицание этой функции и , так как полученная формула будет формулой алгебры логики, то разложим её по n переменным. Полученное выражение, после возможных упрощений, представляет собой совершенную дизъюнктивную нормальную форму. Возьмём отрицания от левой и правой частей полученного выражения. Слева будет исходная функция, а справа (после применения, если это необходимо, закона де Моргана и возможных упрощений) её совершенная конъюнктивная нормальная форма.