Об асимптотике числа бесповторных булевых функций в базисе $\{\&,\lor,\oplus,\lnot\}$

Получена асимптотическая формула для числа $S_n$ бесповторных булевых функций от $n$ переменных в базисе $\{\&,\lor,\oplus,\lnot\}$ при $n\to\infty\;:S_n\sim cn^{-3/2}\alpha^nn!$, где $c\approx0.1998398363\;,\alpha\approx7.549773429\;.$