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

P

Initializing...

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