P
Initializing...
PM ✱5·16: ${\sim} ((p \equiv q) \land (p \equiv {\sim} q))$ · Prove2Me