1. матем. булева функция, которая принимает значение 0 на единственном наборе значений переменных
Источник: Wiktionary.org