Отличие ДНФ от СКНФ в математической логике заключается в том, что ДНФ — это дизъюнкция элементарных конъюнкций, а СКНФ — это конъюнкция элементарных дизъюнкций. 25
ДНФ представляет собой формулу, которая эквивалентна данной формуле и состоит из суммы элементарных произведений. 6 СКНФ — это формула, которая эквивалентна данной формуле и состоит из произведения элементарных произведений. 6
Таким образом, ДНФ представляет собой дизъюнкцию, а СКНФ — конъюнкцию элементарных логических сумм, причём каждая сумма содержит все аргументы или их отрицания. 1
Любую логическую функцию, не равную тождественно 0 или 1, можно представить в виде ДНФ или СКНФ. 3