О синтезе схем с минимальной трудоемкостью тестирования

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