(A xor B)
A B A xor B false false false false true true true false true true true false
(A xor B) iff (A /\ ~B) \/ (~A /\ B).