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