Compuerta NOT (inversor): tabla de verdad, símbolo y el operador NOT
NOT invierte un valor: NOT A es VERDADERO cuando A es FALSO y FALSO cuando A es VERDADERO. Es el único operador de una entrada, y liga con más fuerza que cualquier otro.
La tabla de verdad tiene dos filas, una por valor de A, y la columna de salida es la columna de entrada invertida. El analizador acepta la palabra NOT, la forma de programación !A, la matemática ¬A y la prima del álgebra A' (también la prima tipográfica A′); escribas la que escribas, la página imprime la fórmula en las cuatro notaciones. En un diagrama, el inversor es un triángulo con un pequeño círculo, la burbuja, en su salida; la misma burbuja marca la salida invertida de las compuertas (o puertas) NAND, NOR y XNOR.
NOT se aplica a lo más pequeño que tiene a su derecha. NOT A AND B significa (NOT A) AND B; para negar toda la conjunción hay que escribir NOT (A AND B), y las leyes de De Morgan dicen entonces qué es eso en términos de las entradas negadas. Dos negaciones se cancelan (NOT NOT A es A), y NOT combinado con una constante se pliega: NOT TRUE es FALSO.
En código el operador es ! en C, Java y JavaScript y not en Python; el NOT de SQL se comporta igual sobre VERDADERO y FALSO pero deja NULL como NULL. La tilde ~ es un complemento bit a bit en esos lenguajes, no un NOT lógico, y por eso el analizador rechaza ~A con una corrección en lugar de adivinar. En reglas en lenguaje natural, «a menos que» y «salvo cuando» son negaciones: «los socios pueden entrar a menos que estén vetados» es member AND NOT banned.
Grafías aceptadas
NOT ! ¬ a' a′
NOT a!a¬aa'NOT A: NOT A
| # | A | f |
|---|---|---|
| 0 | FALSO | VERDADERO |
| 1 | VERDADERO | FALSO |
Principiantef es verdadero exactamente cuando A es falso.
En todos los demás casos, f es falso.
Sobre los operadores:
- NOT (NO) invierte un valor: lo verdadero pasa a ser falso y lo falso, verdadero.
Intermediof es verdadero exactamente cuando A es falso.
En todos los demás casos, f es falso.
Avanzadof es verdadero exactamente cuando A es falso [negación ¬].
En todos los demás casos, f es falso.
Notación formal: ¬A
El error habitual
Leer NOT A AND B como «no (A y B)». NOT liga primero, así que la fórmula niega solo a A. La página de precedencia muestra las dos agrupaciones lado a lado, y la diferencia se ve en la fila A = FALSO, B = FALSO.
Preguntas
¿NOT A es lo mismo que decir que A es FALSO?
Sobre una asignación completa, sí: NOT A es VERDADERO exactamente cuando A es FALSO. Una entrada que aún no tiene valor es otra cosa; el motor informa de una asignación incompleta en lugar de tratar la entrada que falta como FALSO.
¿Puedo escribir NOT después de la variable?
Sí, como la prima del álgebra: A' y A′ se aceptan y significan NOT A. Varias primas se acumulan, así que A'' es NOT NOT A, que se simplifica de nuevo a A.
Relacionado
Ejemplos resueltos que lo usan
- Regla de entrada: (socio OR invitado) AND NOT vetado, comprobada de todas las formas
- El error de la regla de entrada: socio OR (invitado AND NOT vetado) y el caso que difiere
- Exactamente uno de tres: por qué XOR no sirve
- Como máximo uno de tres: exclusión mutua
- Multiplexor 2 a 1: (S AND B) OR (NOT S AND A)
- Comparador de un bit: A mayor que B
Leyes
- Ley del complemento: A·A' = 0, A+A' = 1
- Doble negación (involución): (A')' = A
- Leyes de De Morgan: (A·B)' = A' + B', con demostración y ejemplos
- Negación de constantes: 1' = 0, 0' = 1
- Identidades de XOR: A ⊕ 0 = A, A ⊕ 1 = A', A ⊕ A = 0
- Eliminación de la implicación: A → B = A' + B
Herramientas
- Generador de tablas de verdad: cualquier expresión booleana, hasta 12 variables, con columnas intermedias
- Generador de circuitos lógicos: de expresión booleana a diagrama de compuertas (SVG)
Véase también
- Doble negación (involución): (A')' = A
- Leyes de De Morgan: (A·B)' = A' + B', con demostración y ejemplos
- Precedencia de operadores en lógica booleana: NOT, luego AND, luego XOR, luego OR
- ~ es NOT bit a bit en código y NOT lógico en algunos libros
- Una entrada sin asignar no es FALSO: asignaciones incompletas
- Lección 1: NOT, AND, OR: los operadores básicos
Operadores y compuertas
Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación . Cada tabla, mapa, simplificación y veredicto de estas páginas lo calculó el motor de Tangibool al compilar el sitio, y cada afirmación la volvió a comprobar el mismo verificador exacto que usa la app. Los límites se indican donde aplican. © 2026 Foreranger LTD.