Not[x->BOOLEAN] =: BOOLEAN
Not returns the boolean inverse of x, according to the truth table:
NOT x, !x
And, Or.