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

схема из функциональных элементов, неисправность, единичный диагностический тест

Математическое моделирование в актуальных проблемах науки и техники