Теоретическая кибернетика

Рассматривается задача реализации булевых функций неизбыточными схемами из функциональных элементов в базисе Жегалкина, допускающими короткие единичные тесты при произвольных константных неисправностях на выходах элементов. Установлено, что функция Шеннона длины единичного проверяющего (единичного диагностического) теста не превосходит \(3\) (соответственно \(5\)).