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

P

Initializing...

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