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