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