Некоторые различия между ДНФ и КНФ в контексте математической логики:

• Структура формул:
• ДНФ — это дизъюнкция нескольких элементарных конъюнкций, то есть формула содержит конечное число конъюнкций некоторых логических переменных и их отрицаний, соединённых операцией дизъюнкции. 13
• КНФ — это конъюнкция клаузул с оператором AND или OR, то есть формула содержит конечное число дизъюнкций некоторых логических переменных и их отрицаний, соединённых операцией конъюнкции. 4
• Операторы:
• ДНФ — используются операторы AND, OR и NOT. 4
• КНФ — каждая клауза соединена конъюнкцией (оператором AND) и при этом должна либо быть литералом, либо содержать дизъюнкцию (оператор OR). 4

При этом ДНФ и КНФ взаимодвойственны: свойства КНФ повторяют свойства ДНФ, «с точностью до наоборот». 2 Например, КНФ можно получить из ДНФ путём замены знаков ∨ на &, а & на ∨. 5