Определение. Элементарной конъюнкцией называется конъюнкция, составленная из попарно различных переменных или отрицаний переменных.
Иногда будем допускать в элементарной конъюнкции наличие повторов элементов.
Определение. Дизъюнктивной нормальной формой (ДНФ) называется дизъюнкция попарно различных элементарных конъюнкций.
Иногда будем допускать в ДНФ наличие повторов элементов.
Пример 25.
Следующие формулы находятся в ДНФ: 
.
Определение. Элементарной дизъюнкцией называется дизъюнкция, составленная из попарно различных переменных или отрицаний переменных.
Иногда будем допускать в элементарной дизъюнкции наличие повторов элементов.
Определение. Конъюнктивной нормальной формой (КНФ) называется конъюнкция попарно различных элементарных дизъюнкций.
Иногда будем допускать в КНФ наличие повторов элементов.
Пример 26.
Следующие формулы находятся в КНФ: 
