Pergunta 1 Considere o seguinte programa, que visa trocar a posição das entradas x , y e z , de tal forma que transforme uma terna ( x , y , z ) , em ( z , x , y ) v 1 : = x v 2 : = y x : = z y : = v 1 z : = v 2 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 } v 1 : = x { v 1 = a , y = b , z = c } v 2 : = y { v 1 = a , v 2 = b , z = c } x : = z y : = v 1 { x = c , y = a , v 2 = b } z : = v 2 { x = c , y = a , z = b } a. { z = c , v 1 = a , v 2 = b } b. { x = a , v 1 = a , v 2 = b } c. { x = c } d. { x = c , y = c , v 2 = b } e. { x = c , v 1 = a , v 2 = b }