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

Рассматривается задача синтеза неизбыточных схем из функциональных элементов, реализующих булевы функции от n переменных и допускающих короткие единичные тесты относительно произвольных константных неисправностей на выходах элементов. Доказано, что любую неконстантную булеву функцию можно реализовать схемой в базисе 'конъюнкция, отрицание, сумма по модулю 2 трех переменных', допускающей единичный проверяющий тест длины не более 2, а также схемой в базисе, состоящем из одной конкретной булевой функции от шести переменных, допускающей единичный диагностический тест длины не более 3.

http://keldysh.ru/papers/2018/prep2018_33.pdf