Función mayorante

En lógica binaria, la función mayorante u operador mediano es una función matemática que va desde n entradas a una salida. El valor de la operación es falso cuando n/2 o más argumentos son falsos, y verdadera en otro caso. Alternativamente, sean 1 los valores verdaderos, y 0 los falsos, se puede definir mediante la siguiente fórmula: donde el "−1/2" sirve para romper el empate a favor de los ceros cuando n es par; una fórmula similar puede utilizarse para una función que rompa el empate a favor de los unos.