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

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