К диагностике комбинационных схем

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