truth table (¬p implies (p implies q)) implies (q implies (p implies p))truth table (¬p implies (p implies q)) implies (q implies (p implies p))

• Natural Language
• Math Input