Чем отличается КНФ от СКНФ.

Конъюнкти́вная норма́льная фо́рма (КНФ) — нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций.

Соверше́нная конъюнкти́вная норма́льная фо́рма (СКНФ) — это такая КНФ, которая удовлетворяет трём условиям:

в ней нет одинаковых элементарных дизъюнкций
в каждой дизъюнкции нет одинаковых пропозициональных переменных
каждая элементарная дизъюнкция содержит каждую пропозициональную букву из входящих в данную КНФ пропозициональных букв.
Любая булева формула, не являющаяся тождественно истинной, может быть приведена к СКНФ.