¿Cuál es el tamaño mínimo de un circuito que calcula PARIDAD?

Es un resultado clásico que cada circuito 2-Y-O-NO de ventilador que calcula PARIDAD a partir de las variables de entrada tiene un tamaño de al menos y esto es nítido. (Definimos el tamaño como el número de compuertas AND y OR). La prueba es por eliminación de compuerta y parece fallar si...