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. En el Excel en inglés las mismas funciones son AND(), OR(), NOT(), XOR() e IF().
| Lógica | Excel (ES) | Excel (EN) |
|---|---|---|
NOT A | =NO(A1) | =NOT(A1) |
A AND B | =Y(A1; B1) | =AND(A1, B1) |
A OR B | =O(A1; B1) | =OR(A1, B1) |
A XOR B | =XO(A1; B1) | =XOR(A1, B1) |
A -> B | =O(NO(A1); B1) | =OR(NOT(A1), B1) |
A <-> B | =A1=B1 | =A1=B1 |
TRUE, FALSE | VERDADERO, FALSO | TRUE, FALSE |
=Y(A1; B1) es A AND B, =O(A1; B1; C1) es un OR de tres entradas, y =NO(A1) niega. Como las funciones reciben listas de argumentos, la precedencia nunca aparece: el anidamiento es la agrupación, y =O(A1; Y(B1; C1)) solo puede significar A OR (B AND C). =XO(A1; B1; C1) es VERDADERO cuando un número impar de sus argumentos son VERDADEROS, que es la misma lectura de paridad que la cadena XOR del motor, y la misma razón por la que no es «exactamente uno».
Excel convierte: en estas funciones el número 0 cuenta como FALSO y cualquier otro número como VERDADERO, mientras que una celda de texto con la palabra VERDADERO es texto, no un booleano, e Y la ignora dentro de un rango. Los operadores de comparación devuelven booleanos (=A1>5), y = entre dos booleanos es el bicondicional mientras que <> es el o exclusivo. No hay implicación; escribe =O(NO(A1); B1).
Tangibool no exporta fórmulas de Excel. La exportación CSV de una tabla de verdad se abre directamente en Excel, que es la vía práctica: calcula la tabla a partir de la regla, y compárala con una columna de fórmulas SI() para encontrar las filas en las que la hoja discrepa. Las páginas sobre tablas de decisión describen ese flujo de trabajo para quienes prueban software.
El error habitual
Esperar que =XO(A1; B1; C1) signifique exactamente uno de tres. Con tres argumentos VERDADEROS devuelve VERDADERO, porque tres es impar. Escribe los tres casos, o contrasta la fórmula con la tabla del motor para la función que querías.
Preguntas
¿Por qué la versión en español usa punto y coma?
Porque las configuraciones regionales en español usan la coma como separador decimal, así que el separador de argumentos pasa a ser el punto y coma. Los nombres de las funciones también están traducidos: Y, O, NO, XO, SI.
¿Puedo pegar una fórmula de Excel en Tangibool?
No tal cual: Y(A1; B1) se lee como una llamada a una definición desconocida. Tradúcela a A AND B con entradas con nombre, lo que además hace la regla legible para quien no conoce la hoja.
Relacionado
Véase también
- XOR de tres entradas es paridad impar, no «exactamente uno»
- Compuerta XOR: tabla de verdad de 2, 3 y 4 entradas (paridad impar)
- Tabla de decisión frente a tabla de verdad: cuándo usar cada una
- Derivar casos de prueba de una tabla de verdad sin probar todas las filas
- Lógica booleana en SQL: AND, OR, NOT y la trampa de NULL (lógica trivaluada)
- Generador de tablas de verdad: cualquier expresión booleana, hasta 12 variables, con columnas intermedias
Lenguajes
- Símbolos y notaciones de la lógica booleana: NOT, AND, OR en palabras, código y matemáticas
- Operadores booleanos en Python: and, or, not, precedencia y errores comunes
- Operadores lógicos en JavaScript: &&, ||, !, truthiness y precedencia
- Lógica booleana en SQL: AND, OR, NOT y la trampa de NULL (lógica trivaluada)
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.