bc.out (x ^ y) v (y ^ z) = y & (x v y) ^ (y v z) = y)) ]]> (x ^ y) v (y ^ z) = y & (x ^ z) v y = y)) ]]> C(a,x,b))) ]]> C(a,x,b))) ]]> (a ^ x) v (x ^ b) = x & (a ^ b) v x = x)) ]]>