((A OR B) AND (!B AND C) OR C)