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

P

Initializing...

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