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

Рассматривается реализация булевых функций неветвящимися программами с оператором условной остановки в полном конечном базисе, содержащем обобщённую конъюнкцию. Предполагается, что вычислительные операторы программы независимо друг от друга подвержены неисправностям произвольного типа, в свою очередь, операторы условной остановки также ненадёжны. Доказано, что произвольную булеву функцию можно реализовать сколь угодно надёжной неветвящейся программой.