PM ✱5·32: $(p \supset (q \equiv r)) \equiv ((p \land q) \equiv (p \land r))$ · Prove2Me

P

Initializing...

PM ✱5·32: $(p \supset (q \equiv r)) \equiv ((p \land q) \equiv (p \land r))$ · Prove2Me