truth table ( not A and not B) or ( not A and B) or (A and not B)