Nombres confundibles: l, 1, I, O y 0 en los nombres de variables
l1 e I1 son entradas distintas que se ven iguales en pantalla, y rate y Rate difieren solo en las mayúsculas. La comprobación de nombres del motor señala esos pares, y la lista de abajo es su salida para un conjunto de nombres deliberadamente malos.
El artefacto de esta página es el informe de nombres confundibles del motor para una pequeña lista de entradas. Empareja l1 con I1 y con Il (la ele minúscula, la i mayúscula y el dígito 1 se parecen en la mayoría de las fuentes), O0 con 0O (o mayúscula y cero), is_member con ismember (un separador es fácil de pasar por alto), y rate con Rate (solo las mayúsculas). Cada par lleva su razón. La app muestra las mismas advertencias en el glosario, donde cada entrada tiene un nombre y una descripción, de modo que un desliz se atrapa al escribir el nombre y no cuando falla una prueba.
Los nombres se emparejan por identidad en el motor, nunca por su grafía: renombrar una entrada reescribe todas las referencias y conserva su identificador. Eso elimina una clase de error, un renombrado que se salta una referencia, pero no puede eliminar esta, porque dos entradas con nombres parecidos son dos entradas, ambas válidas, ambas en la tabla de verdad, y la regla que menciona la equivocada es una regla válida con otra función.
El remedio es disciplina al nombrar: palabras en lugar de letras cuando la regla tiene un dominio (banned, no b), un separador coherente, minúsculas en todo, y una descripción para cada entrada en el glosario. La página del glosario sobre variables con glosario explica las descripciones, y la lista de revisión de reglas tiene una línea para los nombres confundibles.
Lo que dice la comprobación de nombres
Nombres comprobados: l1, I1, Il, O0, 0O, rate, Rate, is_member, ismember, member, invited
| A | B | Motivo |
|---|---|---|
| l1 | I1 | se parecen |
| l1 | Il | se parecen |
| I1 | Il | se parecen |
| O0 | 0O | se parecen |
| rate | Rate | difieren solo en mayúsculas |
| is_member | ismember | se parecen |
El error habitual
Copiar una regla con I y l de un documento y escribir una como la otra. El analizador acepta las dos, el modelo gana una entrada adicional y la tabla de verdad se duplica en silencio. La lista de variables de la tabla, y la advertencia del glosario, son los dos sitios donde se ve.
Preguntas
¿Los nombres distinguen mayúsculas?
Sí: rate y Rate son dos entradas. Las palabras de operador no distinguen mayúsculas (and, AND), que es una regla aparte; la página de símbolos enumera las palabras reservadas.
¿Qué caracteres se permiten en un nombre?
Letras, dígitos y guiones bajos, empezando por una letra o un guion bajo; las palabras de operador y las constantes están reservadas. El motor rechaza cualquier otra cosa con un mensaje que lo dice.
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
- Variable (entrada) y significado del glosario: definición, ejemplo y equivalente en inglés
- AB es un nombre, no A AND B: la multiplicación implícita
- Lista de revisión de reglas de decisión (para analistas y revisores)
- Símbolos y notaciones de la lógica booleana: NOT, AND, OR en palabras, código y matemáticas
- Escribir reglas de negocio en lenguaje claro que se traduzcan a lógica
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.