P
Initializing...
PM ✱4·42: $p \equiv ((p \land q) \lor (p \land {\sim} q))$ · Prove2Me