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