Предложен метод синтеза нетривиальных самокорректирующихся относительно a неисправностей схем из функциональных элементов в произвольном конечном полном базисе для булевых операторов (в том числе булевых функций), допускающих реализацию схемами, имеющими блочную структуру, в том же базисе. Получена верхняя оценка сложности реализации таких операторов в указанном классе самокорректирующихся схем. В частности, найдена нетривиальная верхняя оценка сложности реализации функции сравнения двух n-разрядных двоичных наборов в классе 1-самокорректирующихся схем в стандартном базисе {&,V,¬}.

самокорректирующаяся схема из функциональных элементов, булева функция, булев оператор, сложность схемы

Математические вопросы и теория численных методов