(A AND NOT B) OR (A AND B AND C)