/

p is either true or false

/

the negation of a true statement is false

/

the negation of a false statement is true