Повторность булевых функций в элементарном базисе

Доказывается новый критерий бесповторности булевой функции в базисе из конъюнкции, дизъюнкции и отрицания. Устанавливается, что всякая булева функция либо является бесповторной, либо обладает множеством из четырех или шести наборов аргументов, значения на которых доказывают ее повторность. С использованием этого критерия выводится альтернативное доказательство известного критерия Стеценко.