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

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

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

Попков Кирилл Андреевич,  kirill-formulist@mail.ru,  orcid.org/0000-0003-3763-4050,  ИПМ им. М.В. Келдыша РАН