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