Конъюнктивная нормальная форма
Формула 
считается приведенной к конъюнктивной нормальной форме (КНФ), если она представлена в виде конъюнкции элементарных сумм.
Пример:
(
)(q
r)(рr)
(снимаем импликацию) 
(
q)(
r)r 
r (по законам де Моргана) (
)(
)
r
(
)(
)r (снимаем двойные отрицания) рqr (по второму закону дистрибутивности для второй конъюнкции) (рqr)(рr) (по второму закону дистрибутивности для первых конъюнкций)
(рqr)(qr)(р
r)(
r)
– это КНФ..