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

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