Lógica booleana en lenguajes de programación: Python, JavaScript, SQL, Excel y más

Lógica booleana en Python, JavaScript, SQL, Excel, Java, C, SMT-LIB y LaTeX: los operadores, la precedencia, las trampas y la misma regla exportada por el motor donde tiene un exportador.

La página de símbolos es la propia tabla del analizador: cada grafía que el motor acepta en cada notación y cada grafía que rechaza con la corrección que ofrece, desde = y == hasta ^, &, ~ y la yuxtaposición. Las páginas de lenguajes toman una regla, la regla de entrada, y muestran cómo se lee en cada lenguaje, qué hacen las reglas de precedencia con una versión sin paréntesis y qué trampa propia de cada lenguaje aplica: truthiness en JavaScript y Python, lógica trivaluada con NULL en SQL, operadores bit a bit frente a lógicos en C y Java, booleanos como texto en Excel.

Para Python, PostgreSQL, SMT-LIB y LaTeX, el fragmento de la página lo generó el exportador de Tangibool y es el código que ejecuta el propio conjunto de pruebas del producto; para los demás lenguajes el fragmento se escribió y comprobó a mano.

Si llegaste aquí desde una búsqueda como «operadores lógicos en python precedencia», la página de precedencia de la sección de operadores da la precedencia del motor, y la página de Python da la de Python, que difiere en un punto importante: en Python, not a == b significa not (a == b).

• Símbolos y notaciones de la lógica booleana: NOT, AND, OR en palabras, código y matemáticas
  Cada operador booleano tiene varias grafías: una palabra, un símbolo de programación, un símbolo matemático y un signo de álgebra.
• Operadores booleanos en Python: and, or, not, precedencia y errores comunes
  Python escribe los tres operadores básicos como palabras, and, or y not, los ordena en ese orden por debajo de los operadores de comparación, y devuelve un operando en lugar de un booleano puro desde…
• Operadores lógicos en JavaScript: &&, ||, !, truthiness y precedencia
  JavaScript escribe los operadores como !, && y ||, los ordena en ese orden, y permite que cualquier valor haga de booleano mediante la «veracidad» (truthiness).
• Lógica booleana en SQL: AND, OR, NOT y la trampa de NULL (lógica trivaluada)
  SQL tiene AND, OR y NOT con la precedencia habitual, y un tercer valor de verdad, NULL, que cambia en silencio lo que una regla hace con las filas con datos ausentes.
• Lógica booleana en Excel: Y(), O(), NO(), XO() y SI
  Excel escribe la lógica booleana como funciones: Y(), O(), NO() y XO() aceptan cualquier número de argumentos, y SI() convierte el resultado en un valor.
• Operadores lógicos en Java: &&, ||, ! frente a &, | y ^
  Java tiene dos juegos de operadores sobre boolean: &&, || y ! son de cortocircuito, mientras que &, | y ^ evalúan los dos lados y son además los operadores bit a bit sobre enteros.
• Operadores lógicos en C: lógicos frente a bit a bit
  C tiene operadores lógicos que producen 0 o 1 y operadores bit a bit que actúan sobre cada bit, con grafías parecidas y precedencia distinta.
• Lógica booleana en SMT-LIB: declare-const, assert y check-sat con Z3
  SMT-LIB es el lenguaje de entrada de solucionadores como Z3: declaras constantes booleanas, afirmas fórmulas en notación prefija y preguntas check-sat.
• Lógica booleana en LaTeX: \land, \lor, \lnot y tablas de verdad
  LaTeX compone la lógica con macros: \land, \lor y \lnot para las conectivas, \oplus para el o exclusivo, \rightarrow y \leftrightarrow para las flechas, y un array o tabular para una tabla de verdad.

Preguntas

¿Por qué SQL tiene su propio error común?

SQL tiene tres valores de verdad: TRUE, FALSE y NULL. Una regla que es una tautología en lógica de dos valores, como a OR NOT a, no siempre es TRUE en SQL cuando a es NULL. La exportación a SQL del motor documenta un contrato de entradas no nulas precisamente por esto.

Generado a partir del motor de Tangibool, semántica tangibool-semantics/1, motor 1.0.0, compilación 2026-11-07. 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.