Синтез надежных неветвящихся программ с условной остановкой в полном конечном базисе, содержащем $x_1 \& x_2$

Рассматривается реализация булевых функций неветвящимися программами с условной остановкой в полном конечном базисе содержащем конъюнкцию $x_1 \& x_2$. Предполагается, что функциональные операторы с вероятностью подвержены инверсным неисправностям на выходах. Решается задача синтеза надежных неветвящихся программ в двух случаях: 1) оператор условной остановки абсолютно надежен; 2) оператор условной остановки ненадежен.