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