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