Аннотация:Предлагается метод синтеза неизбыточных схем из функциональных элементов в произвольном полном базисе, реализующих произвольные отличные от констант булевы функции и допускающих единичные проверяющие тесты длины не более 4 при инверсных и произвольных константных неисправностях на выходах элементов.