En el álgebra de Boole, una función paridad es una función booleana cuyo valor es 1 si el vector de entrada tiene un número impar de unos.
[1] La función paridad es una función booleana simétrica, de mucha utilidad en la investigación teórica de complejidad de circuitos.
si y solo si el número de unos en el vector
se define como sigue: La función paridad es una función booleana simétrica.
La función de paridad de n variables y su negación son las únicas para las cuales todas sus formas normales disyuntivas tienen el número máximo de 2 n − 1 monomios de tamaño n, y todas sus formas normales conjuntivas tienen el número máximo de 2 n − 1 cláusulas de tamaño n.[2]