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