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