AB es un nombre, no A AND B: la multiplicación implícita
AB es un nombre, no A AND B. Los libros omiten el punto en A·B; el analizador no, porque las entradas de una regla tienen nombres como member y banned, y AB tiene que poder ser uno de ellos.
El diagnóstico del analizador para A B se registra abajo: falta un operador entre A y B, con la nota de que la multiplicación implícita no se admite y las dos correcciones, insertar AND o insertar OR. AB sin espacio ni siquiera es eso; es un único identificador, y si no existe ninguna entrada con ese nombre se convierte en una nueva, que es el fallo más silencioso y peor.
La notación de álgebra tiene un signo de producto exactamente por esta razón: A·B (también A⋅B) se acepta y se imprime, y A'B' debe escribirse A'·B'. La costumbre de la yuxtaposición viene del álgebra de Boole escrita a mano, donde las variables son letras sueltas y el punto es tedioso. En un lenguaje con nombres de varias letras la yuxtaposición es ambigua, y el analizador del motor está diseñado para rechazar la ambigüedad en lugar de resolverla en silencio.
Al copiar una expresión de un libro, inserta los puntos o la palabra AND, y comprueba la forma de álgebra impresa en la página: muestra A·B donde leyó un producto y AB donde leyó un nombre.
Lo que dice el analizador
| Escribiste | Código | Por qué se rechaza | Corrección ofrecida |
|---|---|---|---|
| A B | missing-operator | Missing operator between `A` and `B`. Implicit multiplication is not supported — write the operator explicitly. | Insert AND Insert OR |
El error habitual
Pegar AB + A'C de un problema resuelto. AB se convierte en una entrada desconocida y A'C en otra, y la fórmula tiene cuatro variables en lugar de tres. La lista de variables de la tabla de verdad lo revela de inmediato.
Preguntas
¿Por qué no tratar la yuxtaposición como AND cuando los nombres son letras sueltas?
Porque la regla cambiaría de significado cuando un nombre crece: AB es un producto hoy y un nombre mañana. Un lenguaje que mantiene los identificadores estables entre ediciones no puede permitirse una lectura que dependa de la longitud del nombre.
¿Qué signos de producto se aceptan?
El punto medio ·, el operador punto ⋅, la palabra AND, el símbolo ∧ y el && de programación. El asterisco * se rechaza con una corrección, porque es aritmética.
Relacionado
Herramientas
- Comprobador de equivalencia lógica: dos expresiones, veredicto exacto, contraejemplo
- Generador de tablas de verdad: cualquier expresión booleana, hasta 12 variables, con columnas intermedias
Véase también
- Símbolos y notaciones de la lógica booleana: NOT, AND, OR en palabras, código y matemáticas
- Compuerta AND (puerta Y): tabla de verdad de 2, 3 y 4 entradas, símbolo y expresión
- Nombres confundibles: l, 1, I, O y 0 en los nombres de variables
- & y | simples son operaciones bit a bit en la mayoría de lenguajes
- Postulados de Huntington: los axiomas del álgebra de Boole
Errores comunes
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.