PM ✱5·53: $(((p \lor q) \lor r) \supset s) \equiv (((p \supset s) \land (q \supset s)) \land (r \supset s))$

Initializing...

PM ✱5·53: $(((p \lor q) \lor r) \supset s) \equiv (((p \supset s) \land (q \supset s)) \land (r \supset s))$ · Prove2Me