Синтез легкотестируемых схем в базисе Жегалкина при константных неисправностях типа 0 на выходах элементов

Предложены методы синтеза легкотестируемых схем из функциональных элементов в базисе Жегалкина для произвольных булевых функций. В качестве неисправностей предполагаются константные неисправности типа 0 на выходах элементов. Доказано, что любую булеву функцию можно реализовать схемой, допускающей полный проверяющий тест длины 1.
Работа первого автора выполнена при поддержке Российского фонда фундаментальных исследований, проект 08–01–00863, и программы Президента Российской Федерации поддержки ведущих научных школ, проект НШ 4470.2008.1.
Работа второго автора выполнена при поддержке Российского фонда фундаментальных исследований, проект 08–01–00648.