PM ✱5·24: ${\sim} ((p \land q) \lor ({\sim} p \land {\sim} q)) \equiv ((p \land {\sim} q) \lor (q \land {\sim} p))$

Initializing...

PM ✱5·24: ${\sim} ((p \land q) \lor ({\sim} p \land {\sim} q)) \equiv ((p \land {\sim} q) \lor (q \land {\sim} p))$ · Prove2Me