К синтезу контролепригодных комбинационных устройств

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