Any proposition P can be converted into its negation with a negation operator, producing the new, complex, proposition:

Not P

The proposition Not P is true if and only if P is false. It is false only if P is true. The truth table for Not P is as follows: