Короткие единичные тесты для схем при произвольных константных неисправностях на выходах элементов

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