Negación de constantes: 1' = 0, 0' = 1
Negar una constante da la otra constante: NOT TRUE = FALSE y NOT FALSE = TRUE.
NOT convierte la constante VERDADERO en FALSO y FALSO en VERDADERO.
La ley es la definición de NOT aplicada a las dos constantes, y figura como ley porque el simplificador necesita una regla con nombre para el paso. Después de que la ley del complemento haya convertido una subexpresión en VERDADERO y quede un NOT alrededor, esta ley pliega NOT TRUE en FALSO para que la ley de identidad o la nula terminen el trabajo.
Es también la razón de que el motor imprima las constantes de forma coherente: TRUE y FALSE en las notaciones de palabras y de programación, 1 y 0 en las notaciones matemática y de álgebra, así que NOT 1 se imprime allí como ¬1 y se simplifica a 0.
La tabla de verdad de abajo tiene una sola fila, porque la identidad no tiene variables; la convención del motor es que una fórmula sin entradas tiene exactamente una fila.
Enunciado
NOT TRUE = FALSENOT FALSE = TRUE Demostración por tabla de verdad: NOT TRUE = FALSE
| # | lhs | rhs |
|---|---|---|
| 0 | FALSO | FALSO |
La misma ley en cuatro notaciones
NOT TRUE!TRUE¬11'\overline{1}FALSEFALSE000Demostración por tabla de verdad: NOT FALSE = TRUE
| # | lhs | rhs |
|---|---|---|
| 0 | VERDADERO | VERDADERO |
La misma ley en cuatro notaciones
NOT FALSE!FALSE¬00'\overline{0}TRUETRUE111El error habitual
Escribir NOT 1 y esperar un número. En el lenguaje del motor, 1 y 0 son las constantes booleanas, no enteros; no hay aritmética.
Preguntas
¿Por qué una fórmula constante tiene una fila en su tabla de verdad?
Una tabla de verdad tiene 2 elevado al número de entradas filas; con cero entradas, eso es una fila. La especificación de la semántica lo dice para que las exportaciones y las comprobaciones coincidan en el caso límite.
Relacionado
Lección que lo enseña
Herramientas
- Calculadora y simplificador de álgebra de Boole paso a paso (cada ley nombrada y verificada)
- Comprobador de equivalencia lógica: dos expresiones, veredicto exacto, contraejemplo
Véase también
- Ley de identidad (elemento neutro): A·1 = A, A+0 = A
- Ley de dominación (elemento dominante): A·0 = 0, A+1 = 1
- VERDADERO y FALSO (1 y 0): las constantes de la lógica booleana
Leyes
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.