... or ~P
Why did I get that? I ... there.
How/why did we do that? What ... the logistic proof for why/how, using the negate ... starting with the original statement) the following is just ... of the last logical statement (our simplified statement) is ~B---> ...