En los libros de diseño de sistemas lógicos, las funciones de mayoría y de umbral se están utilizando como ejemplos ilustrativos para mostrar el proceso de diseño y la minimización de las expresiones lógicas. Su valor lógico depende del número de operandos verdaderos y mantiene su valor para un número dado de todas las combinaciones de operandos - si éstas se encuentran entre las funciones simétricas. Las Funciones umbral (“al menos k de n” - denotado como f_k_n) son ciertas si al menos k (k o más) de los operandos n son iguales a uno. El número k se llama umbral. Las funciones de mayoría son un caso especial de las funciones de umbral. Se definen para un número impar de operandos y son verdaderas si hay más la mitad (la mayoría) de los operandos verdaderos.