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

Initializing...

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