Рассмотрим следующий фрагмент программы:утверждение: A(x)цикл пока B(x)| инвариант: A(x)| x := T(x)конец цикла
Здесь через A(x) и B(x)обозначены условия, зависящие от переменной x.Какое условие выполняется по окончании цикла?
(Отметьте один правильный вариант ответа.)
Варианты ответа
Условие (не A(x) и B(x)).
Условие (A(x) и B(x)).
Условие (A(x) и не B(x)). (Верный ответ)