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

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