PM ✱4·78: $((p \supset q) \lor (p \supset r)) \equiv (p \supset (q \lor r))$ · Prove2Me

P

Initializing...

PM ✱4·78: $((p \supset q) \lor (p \supset r)) \equiv (p \supset (q \lor r))$ · Prove2Me