Асимптотика числа бесповторных булевых функций в элементарном базисе

В работе получена асимптотическая аппроксимация числа $K_n$ бесповторных булевых функций от $n$ переменных в элементарном базисе $\{\&,\vee,-\}$ при $n\to\infty$ с относительной погрешностью $O(1/\sqrt n\,)$. Как следствие, получено подтверждение гипотезы о существовании констант $\delta$ и $\alpha$ таких, что
$$ K_n\sim\delta\cdot\alpha^{n-1}\cdot(2n-3)!!, $$
и найдены эти константы.
Библиография: 7 названий.