WolframAlpha computational knowledge AI
((A OR B) AND (NOT B AND C) OR C)