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