(A <=> B) <=> [(A and B) or (NOT A and NOT B)]