О полных проверяющих тестах для схем из функциональных элементов

Рассматриваются схемы из функциональных элементов над произвольным полным конечным базисом; допускаются константные неисправности на выходах элементов. Установлено, что любую булеву функцию от $n$ переменных можно реализовать схемой из функциональных элементов, которая допускает полный проверяющий тест длины, не превосходящей $2\biggl(2^{\big[\frac{n}2\big]}+2^{\big]\frac{n}2\big[}+n\biggr)$.
Библиогр. 3.