... the other terms the same. So it changes from ... the negate sufficient "or" rule with the arrows you can ... Use the "or" arrow rule (which is negating the ... the arrow to or translation rule.
P ---> ... be negative in the same statement because the term ...