При построении инварианта с помощью метода устранения конъюнктивного члена истинность инварианта перед началом выполнения цикла легко устанавливается присваиванием:
(Отметьте один правильный вариант ответа.)
Варианты ответа
"a<-1;"
"a=b;"
"a>0;"
"a=1;"
"a=0;"(Верный ответ)
"a>-1;"