P
Initializing...
PM ✱4·83: $((p \supset q) \land ({\sim} p \supset q)) \equiv q$ · Prove2Me