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

Initializing...

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