WolframAlpha computational knowledge AI
truth table not ((p and q) or (p xor q))