Negation function of boolean numbers

The negation function of boolean numbers is a function that takes an element of the set of boolean numbers and returns its logical inverse - $$\neg 1 = 0$$ and $$\neg 0 = 1$$.