Об асимптотически оптимальных по надежности схемах в базисе $\{x_1\mathbin{\&} x_2\mathbin{\&} x_3,x_1\vee x_2\vee x_3,\overline x_1\}$ при инверсных неисправностях на входах элементов

В работе доказано, что в базисе $\{x_1\mathbin{\&} x_2\mathbin{\&} x_3,x_1\vee x_2\vee x_3,\overline x_1\}$ при инверсных неисправностях на входах функциональных элементов все булевы функции $f(x_1,x_2,\dots,x_n)$ можно реализовать асимптотически оптимальными по надежности схемами, функционирующими с ненадежностью, асимптотически (при $\varepsilon\to 0$) равной: $\varepsilon^3$ – для констант $0$ и $1$,  $\varepsilon$ – для функций $\overline x_i$,  $3\varepsilon$ – для функций $f(x_1,x_2,\dots,x_n)\ne 0,1,\overline x_i,x_i$, где $\varepsilon$ – вероятность ошибки на каждом входе функционального элемента, $i=1,\dots,n$. Функции $x_i$, $i=1,\dots,n$, можно реализовать абсолютно надежно. Сложность асимптотически оптимальных по надежности схем по порядку равна сложности минимальных схем, построенных только из надежных элементов.
Библиография: 4 названий.