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

Initializing...

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