Укажите истинные триады Хоара
(Ответ считается верным, если отмечены все правильные варианты ответов.)
Варианты ответа
{x>100} x:= -x; {abs(x) >10}(Верный ответ)
{x>100} x:= -x; {x < -100}(Верный ответ)
{x>100} x:= x+ 10; {x >101}(Верный ответ)
{x>100} x:= x-90; {abs(x) <10}