однородная [унатная] функция (в которую каждый символ булевой логики входит либо только с отрицанием, либо только без отрицания)
UNATE FUNCTION
Англо-русский перевод UNATE FUNCTION
Масловский Е.К.. English-Russian dictionary of computer science. Англо-Русский словарь по вычислительной технике и программированию. 2005