Аннотация:
Рассматривается задача синтеза неизбыточных схем из функциональных элементов, реализующих булевы функции от $n$ переменных и допускающих короткие единичные проверяющие тесты относительно однотипных константных неисправностей на выходах элементов, в базисе $\{\&,\neg\}$ и схожих базисах. Для каждой булевой функции, допускающей реализацию неизбыточной схемой, найдено минимально возможное значение длины такого теста. В частности, доказано, что оно не превосходит трëх.
Ключевые слова:схема из функциональных элементов, константная неисправность, единичный проверяющий тест.