О сложности реализации булевых функций формулами

Рассматривается сложность вычисления частичных булевых функций данного веса формулами в базисе $\{\&,\vee,\neg\}$. Установлено асимптотически точное значение сложности минимальных формул, реализующих почти все $n$-местные частичные булевы функции данного веса в случае, когда логарифм размера области определения асимптотически равен $n$. Предложен новый метод реализации монотонных булевых функций формулами.