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