P
Initializing...
PM ✱4·72: $(p \supset q) \equiv (q \equiv (p \lor q))$ · Prove2Me