Una función unate es un tipo de función booleana que tiene propiedades monótonas . Se han estudiado ampliamente en la teoría del cambio .
Una función se dice que es positivo en si para todos los valores posibles de ,
Asimismo, es negativo unte en Si
Si por cada f es unte positivo o negativo en la variableentonces se dice que es unte (tenga en cuenta que algunospuede ser unte positivo y algo negativo para satisfacer la definición de función unte). Una función es bininada si no es inate (es decir, no es inate positiva ni inate negativa en al menos una de sus variables).
Por ejemplo, la función de disyunción lógica o con valores booleanos usados para verdadero (1) y falso (0) es positivo unte. Por el contrario, Exclusive o no es unte, porque la transición de 0 a 1 en la entrada x0 es tanto unte positivo como negativo, dependiendo del valor de entrada en x1.
NB: la inactividad positiva también se puede considerar como pasar por la misma pendiente (sin cambios en la entrada) y la inactividad negativa es pasar por la pendiente opuesta ... no unate es la dependencia de más de una entrada (de la misma o de diferentes pendientes)