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

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

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

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