Разница между конъюнктивной и дизъюнктивной нормальными формами заключается в том, что конъюнктивная нормальная форма (КНФ) представляет булеву формулу в виде конъюнкции дизъюнкций литералов, а дизъюнктивная нормальная форма (ДНФ) — в виде дизъюнкции конъюнкций литералов. 4

ДНФ помогает автоматически доказывать теоремы и используется в разработке и верификации интегральных схем, а также в теории искусственного интеллекта. 1 КНФ полезна для решения задач, связанных с выполнимостью логических выражений, и применяется в автоматическом доказательстве теорем. 4

Таким образом, ДНФ представляет логическую функцию в виде суммы произведений переменных, а КНФ — в виде произведения сумм переменных. 4