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