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