Синтез асимптотически оптимальных по надежности неветвящихся программ в базисе {x[1]vx[2], x[1]&x[2], x{-}[1], stop}