Задача

Назовём автоматом для голосования нечётного числа n человек логическую схему с n входами, принимающую истинное значение, когда больше половины входов принимают истинные значения, и ложное значение в противном случае.
Это очень естественное определение: если n входов представляют n человек, каждый из которых голосует либо "за" (истинное значение), либо "против" (ложное), на выходе мы получаем вариант, за который проголосовало большинство.

Имеется логический элемент с тремя входами, который даёт на выходе 1, если число единиц на входе больше числа нулей (реализует функцию голосования для трёх человек). Докажите, что можно построить автомат для голосования любого нечётного числа человек, используя только элементы голосования для трёх человек.
Решение данной задачи должно содержать текст доказательства. Примеры схем могут быть использованы в качестве пояснений, но отдельно засчитываться не будут.

Решение участника

Проведем операции голосования между каждыми 3-мя людьми. Затем будем проводить операции голосования среди полученных результатов, и так до самого конца, пока не останется один результат. Данное решение возможно потому, что голос каждого человека будет учитываться одинаковое количество раз. Кол-во результатов голосования будет постепенно уменьшаться, давая один ответ.