Operación Negación, NOT, Inversión
Es una operación unitaria (afecta a una sola variable), que aplicada a una variable la transforma en otra según la tabla de verdad que se adjunta.
Notación:   s  = not(a) = a
 * En realidad es una barra superior, aunque aquí, por necesidades tipográficas la representemos como un subrayado.
Teorema:  Dos negaciones sucesivas de una variable producen la variable primitiva. Esto puede expresarse algébricamente mediante la expresión:   NOT(a) = a.

 Nota:   esta afirmación, que parece 'de cajón', y casi todos los teoremas y axiomas que se citen sobre álgebra binaria, tienen su demostración mediante el uso de la tabla de verdad, dado que el pequeño número de casos a revisar, permite verificarlos todos.
Ejemplo:  Sea a una variable que define el estado meteorológico de lluvia (1 = Cierto = llueve / 0 = falso = No llueve). Si en un caso es a = Llueve a = No llueve.