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