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