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

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