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