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