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