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