Определение 1.Элементарной дизъюнкцией n переменных называется дизъюнкция переменных или их отрицаний.
Элементарная дизъюнкция n переменных может быть записана в виде
где 
Определение 2.Конъюнктивной нормальной формой (КНФ) формулы А называется равносильная ей формула, представляющая собой конъюнкцию элементарных дизъюнкций.
Для любой формулы алгебры логики путем равносильных преобразований можно получить ее КНФ, причем не единственную.
Например, для формулы 
имеем
то есть
КНФ 
Но так как
то
КНФ 
А так как
то
КНФ 
Определение 3.КНФ А называется совершенной конъюнктивной нормальной формой формулы А ( СКНФ А ), если для нее выполнены условия:
1.Все элементарные дизъюнкции, входящие в КНФ А, различны.
2.Все элементарные дизъюнкции, входящие в КНФ А, содержат все переменные.
3.Каждая элементарная дизъюнкция, входящая в КНФ А, не содержит двух одинаковых переменных.
4.Каждая элементарная дизъюнкция, входящая в КНФ А, не содержит переменную и ее отрицание.
