PM ✱5·7: $((p \lor r) \equiv (q \lor r)) \equiv (r \lor (p \equiv q))$ · Prove2Me

P

Initializing...

PM ✱5·7: $((p \lor r) \equiv (q \lor r)) \equiv (r \lor (p \equiv q))$ · Prove2Me