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

В настоящей работе рассматриваются бесповторные булевы функции в базисе $\{\&,\vee,\oplus,-\}$. Доказывается формула, выражающая число таких функций от $n$ переменных при помощи произведений чисел Фибоначчи. Производится оценка этих произведений, в результате чего выводятся асимптотические оценки для числа бесповторных булевых функций. Оценки содержат числа Эйлера второго порядка и могут быть уже известными методами приведены к виду показательно-степенного ряда. На основании этих оценок можно строить окончательную асимптотику числа бесповторных булевых функций в полном бинарном базисе.
Библиография: 6 названий.