Нижние оценки формульной сложности симметрических булевых функций

Для почти всех симметрических булевых функций от $n$ переменных, в частности для функции голосования, получены нижние оценки сложности вида $\Omega(n\log n)$ при реализации их формулами в произвольном конечном базисе. Библиогр. 7.