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