(not (A) and B and C) or (A and (not(B)) and C) or (A and B and not (C)) or (A and B and C)