Кон’юнктивною нормальною формою (КНФ) називають кон’юнкцію $d_1\wedge d_2 \wedge ... \wedge d_s$ елементарних диз’юнкцій $d_j, (j=\overline{1,s})$ , у якій усі $d_j$ різні.