P

Initializing...

PM ✱4·65: ${\sim} ({\sim} p \supset q) \equiv ({\sim} p \land {\sim} q)$ · Prove2Me