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