... M or ~P
Why did I get that? I ... out the contrapositive. To do that, take the embedded ... there.
How/why did we do that? What's happening here ... the logistic proof for why/how, using the negate ... simplified answer that I did. Use the "or" arrow rule ...