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