O inclusivo frente a exclusivo: «o ambos» es el valor por defecto
En lógica, A OR B es VERDADERO cuando se cumplen los dos. El «o» cotidiano muchas veces no lo es. Las dos lecturas difieren en exactamente una fila, A = VERDADERO, B = VERDADERO, y esa fila es donde fallan las reglas escritas a partir del habla.
La tabla compara A OR B con A XOR B. Coinciden en tres filas y difieren en la fila en que las dos entradas son VERDADERAS: el OR inclusivo es VERDADERO ahí y el o exclusivo es FALSO. La comprobación de equivalencia informa de esa fila como contraejemplo. Todo lo que el motor imprime como OR es la lectura inclusiva, y su lectura en lenguaje natural lo dice: al menos una de las partes, y pueden cumplirse las dos.
El lenguaje natural deja la elección al contexto. «¿Té o café?» es exclusivo; «estudiantes o mayores tienen descuento» es inclusivo, y a un estudiante que también es mayor no se le rechaza. Los textos legales y las especificaciones a veces escriben «y/o» para forzar la lectura inclusiva y «o bien … o bien …, pero no ambos» para forzar la exclusiva; una fórmula no necesita ninguna de las dos cosas, porque OR y XOR son operadores distintos.
La opción por defecto al traducir una regla debería ser la inclusiva, porque la exclusividad es un requisito adicional que hay que enunciar: una regla que niega un descuento a quien cumple dos veces es lo bastante rara como para escribirla a propósito. Cuando la exclusividad se quiere para más de dos opciones, una cadena de XOR no es la solución; la página sobre la paridad explica por qué.
inclusive := A OR B · salidaexclusive := A XOR B · salida Tabla de verdad
Difieren en esta fila: #3
| # | A | B | inclusive | exclusive |
|---|---|---|---|---|
| 0 | FALSO | FALSO | FALSO | FALSO |
| 1 | FALSO | VERDADERO | VERDADERO | VERDADERO |
| 2 | VERDADERO | FALSO | VERDADERO | VERDADERO |
| 3 | VERDADERO | VERDADERO | VERDADERO | FALSO |
Lectura en lenguaje claro
Principianteinclusive es verdadero exactamente cuando al menos uno entre A y B es verdadero (pueden serlo ambos).
En todos los demás casos, inclusive es falso.
Sobre los operadores:
- OR (O) es inclusivo: es verdadero en cuanto al menos una parte es verdadera, también cuando lo son varias.
Intermedioinclusive es verdadero exactamente cuando al menos uno entre A y B es verdadero (pueden serlo ambos).
En todos los demás casos, inclusive es falso.
Avanzadoinclusive es verdadero exactamente cuando al menos uno entre A y B es verdadero (pueden serlo ambos) [disyunción inclusiva ∨].
En todos los demás casos, inclusive es falso.
Notación formal: A ∨ B
El error habitual
Traducir un «o» corriente como XOR porque las opciones parecen alternativas. La regla rechaza entonces exactamente a quienes cumplen por dos motivos, un caso que rara vez aparece en los datos de prueba y siempre aparece en producción.
Preguntas
¿Cómo escribo «uno u otro pero no ambos»?
A XOR B, o, de forma más legible, (A OR B) AND NOT (A AND B). El motor comprueba que las dos son equivalentes.
¿Por qué el OR inclusivo es el valor por defecto en lógica?
Porque es la afirmación más débil y se combina limpiamente: las leyes de distribución, De Morgan y absorción se enuncian para el OR inclusivo, y el o exclusivo tiene sus propias identidades.
Relacionado
Ejemplos resueltos
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
Ejercicios
Véase también
- Compuerta OR (puerta O): tabla de verdad de 2, 3 y 4 entradas
- Compuerta XOR: tabla de verdad de 2, 3 y 4 entradas (paridad impar)
- XOR de tres entradas es paridad impar, no «exactamente uno»
- XOR frente a OR
- Lección 2: XOR: O exclusivo y paridad
- Regla de descuento: (estudiante OR mayor) AND NOT caducado AND (socio OR cupon)
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.