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

P

Initializing...

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