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