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

Исследуется возможность реализации булевых функций легкотестируемыми схемами из функциональных элементов в базисе $\{\&,V,-\}$. В качестве неисправностей допускаются произвольные константные неисправности на входах элементов. Представлен достаточно простой метод синтеза схем, существенно опирающийся на возможность эффективной расшифровки монотонных булевых функций. Этот метод позволяет любую булеву функцию от п переменных реализовать схемой, допускающей полный проверяющий тест, длина которого по порядку не превосходит $\frac{2^n}{\sqrt{\log n}}$.
Ил. 2. Библиогр. 6.