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.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.Para n = 3 el operador mediano ternario puede expresarse usando conjunciones y disyunciones de la forma xy + yz + zx.Esto fue demostrado utilizando métodos probabilísticos.Entre las propiedades del operador mediano ternario < x,y,z > están: Un sistema abstracto que satisface estos axiomas es el álgebra mediana.
