truth table for (((p or q) implies (r or not q)) implies not p)truth table for (((p or q) implies (r or not q)) implies not p)

• Natural Language
• Math Input