PM ✱5·36: $(p \land (p \equiv q)) \equiv (q \land (p \equiv q))$ · Prove2Me

P

Initializing...

PM ✱5·36: $(p \land (p \equiv q)) \equiv (q \land (p \equiv q))$ · Prove2Me