1. The problem statement, all variables and given/known data Translate: A, but not both B and C 2. Relevant equations AB = A and B A+B = A or B ~ = not 3. The attempt at a solution I'm not sure if my translation of this is correct: A(B XOR C) The statement is throwing off my translation because usually when I use XOR, it means B or C, but not both. So is B or C, but not both = not both B and C? The only other solution I can think of is A~(BC) = A(~B+~C).