(A and B) implies (A xnor B)