t2_12.out x ^ y = x)) ]]> x <= y & y <= z | z <= y & y <= x)) ]]> x ^ z <= y & y <= x v z)) ]]> x ^ y = x & y ^ z = y | z ^ y = z & y ^ x = y)) ]]> (x ^ z) ^ y = x ^ z & y ^ (x v z) = y)) ]]> A(x,y,z) ]]> x ^ y = x & y ^ z = y | z ^ y = z & y ^ x = y ]]> x ^ z = x & z ^ y = z | y ^ z = y & z ^ x = z ]]>