Implementing Not, centralizing common negation logic in PTBoolean.