not
not : (boolean -> boolean)
purpose: to compute the negation of a boolean value