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