Considere o seguinte programa, que visa trocar a posição das entradas x x , y y e z z , de tal forma que transforme uma terna ( x , y , z ) (x,y,z) , ...

Considere o seguinte programa, que visa trocar a posição das entradas x x , y y e z z , de tal forma que transforme uma terna ( x , y , z ) (x,y,z) , em ( z , x , y ) (z,x,y) v 1 : = x {\it v1:=x} v 2 : = y {\it v2:=y} x : = z {\it x:=z} y : = v 1 {\it y:=v1} z : = v 2 {\it z:=v2} Ao fazer a demonstração de correção desse programa, assinale a alternativa que corresponde à pré-condição da sétima linha a seguir: { x = a , y = b , z = c } {\it {x=a, y=b, z=c}} v 1 : = x {\it v1:=x} { v 1 = a , y = b , z = c } {\it {v1=a, y=b, z=c}} v 2 : = y {\it v2:=y} { v 1 = a , v 2 = b , z = c } {\it {v1=a, v2=b, z=c}} x : = z {\it x:=z} y : = v 1 {\it y:=v1} { x = c , y = a , v 2 = b } {\it {x=c, y=a, v2=b}} z : = v 2 {\it z:=v2} { x = c , y = a , z = b } {\it {x=c, y=a, z=b}}