Понятие о ДСНФ и КСНФ

Важное значение в теории и практике комбинационных устройств имеют некоторые стандартные формы аналитической записи логических функций. Так сложные логические функции многих аргументов обычно записываются аналитически в виде так называемых дизъюнктивных или конъюнктивных нормальных форм.

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

Примером ДНФ является выражение:

x — логическая функция;

a₂, a₁, a₀ — аргументы.