unate function

Однородная [унатная] функция (в которую каждый символ булевой логики входит либо только с отрицанием, либо только без отрицания)