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

P

Initializing...

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