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