ab.out x ^ y = x)) ]]> x <= y & y <= z | z <= y & y <= x)) ]]> (x ^ y) v (y ^ z) = y & (x v y) ^ (y v z) = y)) ]]> x ^ y = x & y ^ z = y | z ^ y = z & y ^ x = y)) ]]> B(a,x,b))) ]]> B(a,x,b))) ]]> (a ^ x) v (x ^ b) = x & (a v x) ^ (x v b) = x)) ]]>