cd.out x ^ y = x)) ]]> (x ^ y) v (y ^ z) = y & (x ^ z) v y = y)) ]]> x ^ z <= y & y <= x v z)) ]]> (x ^ z) ^ y = x ^ z & y ^ (x v z) = y)) ]]> D(a,x,b))) ]]> D(a,x,b))) ]]> (a ^ b) ^ x = a ^ b & x ^ (a v b) = x)) ]]>