WolframAlpha computational knowledge AI
truth table for (((p or q) implies (r or not q)) implies not p)