WolframAlpha computational knowledge AI
truth table (P || Q || R) && (!P || !Q)