Каков минимальный размер схемы, которая вычисляет PARITY?

Классический результат состоит в том, что каждая схема 2 вентилятора И-ИЛИ-НЕ, которая вычисляет PARITY из входных переменных, имеет размер не менее и это является резким. (Мы определяем размер как число логических элементов И и ИЛИ.) Доказательством является устранение гейта, и, похоже, оно...