t4_12.out (x ^ y) v (y ^ z) = y & (x v y) ^ (y v z) = y)) ]]> B(x,y,u) ]]> (x ^ y) v (y ^ u) = y & (x v y) ^ (y v u) = y ]]>