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