Том 10, серия 1, номер 1, 2003 г., Стр. 41-60

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

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

Зубков О. В. ¹
1. Иркутский государственный педагогический университет,
Н. Набережная, 6, 664011 Иркутск, Россия
е-mail: oz@math.isu.ru

Статья поступила 28 сентября 2001 г.
Исправленный вариант — 2 августа 2002 г.