(~A&B) | (A&~B) === A ^ B (XOR)