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

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