Дизъюнктивная нормальная форма (ДНФ) – это сумма произведений, когда функция принимает значение единицы, при чем если 1 – без инверсии, если 0 – с инверсией.
Если в каждый минтерм входят все переменные, получаем совершенную конъюнктивную нормальную форму (СДНФ).
Конъюнктивная нормальная форма (КНФ) – произведение сумм, когда функция принимает значение нуля, при чем если 1 – с инверсией, если 0 – без инверсии.
Если в каждый макстерм входят все переменные, получаем совершенную конъюнктивную нормальную форму (СКНФ).
1.4. Минимизация логических функций
