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