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