PM ✱4·76: $((p \supset q) \land (p \supset r)) \equiv (p \supset (q \land r))$ · Prove2Me

P

Initializing...

PM ✱4·76: $((p \supset q) \land (p \supset r)) \equiv (p \supset (q \land r))$ · Prove2Me