WolframAlpha computational knowledge AI
[A AND ��B AND C OR A AND ��B AND B AND D OR ��A AND ��B] ��� C