Метод синтеза легкотестируемых схем в одном базисе, допускающих единичные проверяющие тесты константной длины

В работе предлагается метод синтеза неизбыточных схем из функциональных элементов в базисе $\{ x\& y, x\oplus y, 1,{\bar x}(y\vee z)\vee x(y\sim z)\}$, реализующих произвольные булевы функции и допускающих единичные проверяющие тесты длины не более 4 при инверсных и произвольных константных неисправностях на выходах элементов.