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

P

Initializing...

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