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

Представление функции в виде системы формул, удовлетворяющих заданному ограничению по сложности, получаются из произвольной формулы в базисе $\{\&,\vee,\neq\}$, вычисляющей данную функцию, с помощью системы преобразований. В качестве меры сложности формул рассматриваются “идеализированная” мера (число символов переменных) и реальная мера (сумма весов переменных). Под сложностью системы понимается число формул в ней. Сложность функции $f$ определяется как минимум по всем системам формул, вычисляющим $f$; функция Шеннона определяется как максимум сложности по всем функциям из $P_2^n$. Основной результат работы состоит в получении асимптотики функции Шеннона и асимптотически наилучшего представления функций системами ограниченных по сложности формул.