(A and B) OR (A and NOT C)