О самокорректировании схем для некоторых последовательностей булевых функций

Предлагается метод синтеза нетривиальных самокорректирующихся схем из функциональных элементов для некоторых булевых функций. В частности, при реализации линейных булевых функций от $n$ переменных в базисе $\{\&,\vee, ^-\}$ этот метод позволяет строить схемы, корректирующие одну неисправность и содержащие асимптотически не более чем $10n$ элементов, тогда как при известном тривиальном способе самокорректирования схемы содержат асимптотически не менее чем $12n$ элементов.