однородная [унатная] функция (в которую каждый символ булевой логики входит либо только с отрицанием, либо только без отрицания)
UNATE FUNCTION
Англо-русский перевод UNATE FUNCTION
Big English-Russian dictionary . Большой Англо-Русский словарь. 2012