Na programação de computadores, considere o seguinte algoritmo:

var a, b, c: inteiro

var x, y, z: lógico início

a ← 2

b ← 4

c ← 0

x ← ((a+b) < (b-c) .E. (a*a) = (b-c))

y ← ((b/a) >= (a-c) .OU. (b>=a))

z ← ((a-1) > (c+1) .E. (b*c) >= (a+1)) fim

As variáveis x, y e z receberão, respectivamente, os valores: