О верхней оценке ненадёжности неветвящихся программ при однотипных константных неисправностях на выходах вычислительных операторов

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