логическая функция, принимающая значение логического нуля только при одном значении логических переменных и значение логической единицы при других значениях логических переменных.
Из минтермов и макстернов методом суперпозиции можно составить логические функции, которые называются соответственно логической функцией, представленной посредством совершенных дизъюнктивных нормальных форм (СДНФ), и логической функцией, представленной посредством совершенных конъюнктивных нормальных форм (СКНФ).