Досконалою кон’юнктивною нормальною формою (ДКНФ) називають КНФ, у якої кожна елементарна диз’юнкція $d_j, (j=\overline{1,s})$ – конституента нуля.