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

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