О надёжности неветвящихся программ в базисе, содержащем обобщённую конъюнкцию

Рассматривается реализация булевых функций неветвящимися программами с операторами условной остановки в полном конечном базисе, содержащем хотя бы одну из функций $x_1\cdot x_2$, $\overline x_1\cdot x_2$, $\overline x_1\cdot\overline x_2$. Предполагается, что функциональные операторы с вероятностью $\varepsilon\in(0,1/2)$ подвержены инверсным неисправностям на выходах, а операторы условной остановки абсолютно надёжны. Доказано, что в таких базисах любую булеву функцию можно реализовать неветвящейся программой, функционирующей с ненадёжностью не больше $\varepsilon+59\varepsilon^2$ при $\varepsilon\in(0,1/960]$. Ил. 1, библиогр. 4.