PM ✱5·23: $(p \equiv q) \equiv ((p \land q) \lor ({\sim} p \land {\sim} q))$ · Prove2Me

P

Initializing...

PM ✱5·23: $(p \equiv q) \equiv ((p \land q) \lor ({\sim} p \land {\sim} q))$ · Prove2Me