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