Compuerta OR (puerta O): tabla de verdad de 2, 3 y 4 entradas

OR es inclusivo: es VERDADERO cuando al menos una entrada es VERDADERA, incluso cuando lo son varias. Su única fila FALSA es aquella en la que todas las entradas son FALSAS, que es la fila 0 en todas las tablas de abajo.

Con dos entradas, tres de las cuatro filas son VERDADERAS; con tres entradas, siete de ocho; con cuatro, quince de dieciséis. La única fila FALSA es siempre la primera, donde todas las entradas son FALSAS. La lectura en lenguaje natural del motor lo dice directamente: la salida es verdadera cuando al menos una de las partes es verdadera, y pueden cumplirse las dos. Como con AND, una cadena A OR B OR C es una compuerta con tres entradas.

El analizador acepta OR, ||, ∨ y el signo más del álgebra +, e imprime A + B en la notación de álgebra; un solo | se rechaza porque en C, Java y JavaScript es un operador bit a bit. OR liga con menos fuerza que AND y XOR, así que A OR B AND C se lee como A OR (B AND C); añade paréntesis siempre que quieras decir (A OR B) AND C, y la página de precedencia muestra la fila en la que las dos lecturas se separan.

En el lenguaje cotidiano «o» suele ser exclusivo («té o café»), y en lógica no lo es: A OR B también es VERDADERO cuando se cumplen los dos. Cuando necesites «uno pero no ambos», eso es XOR, y cuando necesites «exactamente uno de tres» no es ni OR ni una cadena de XOR. Las páginas de errores comunes cubren las dos cosas, y la lección sobre los operadores básicos recorre la lectura inclusiva con la regla de entrada (member OR invited) AND NOT banned.

Grafías aceptadas

OR || ∨ +

2 entradas: A OR B

3 entradas: A OR B OR C

4 entradas: A OR B OR C OR D

El error habitual

Suponer que OR excluye el caso en que las dos entradas son VERDADERAS. La tabla de dos entradas tiene tres filas VERDADERAS, y la fila A = VERDADERO, B = VERDADERO es una de ellas. Una regla que deba rechazar ese caso necesita A XOR B, o un NOT (A AND B) explícito.

Preguntas

¿Cómo digo «exactamente uno de A y B»?

Con A XOR B, que es VERDADERO solo cuando los dos difieren. Para tres o más opciones, escribe los casos, como hace el ejemplo resuelto «exactamente uno de tres»; una cadena de XOR significa paridad impar.

¿A OR TRUE es siempre VERDADERO?

Sí: es la ley de dominación para OR. Una entrada VERDADERA decide un OR por sí sola, igual que una entrada FALSA decide un AND, y el simplificador elimina el resto de la expresión en un paso.

Relacionado

Ejemplos resueltos que lo usan

• Regla de entrada: (socio OR invitado) AND NOT vetado, comprobada de todas las formas
• El error de la regla de entrada: socio OR (invitado AND NOT vetado) y el caso que difiere
• Mayoría de tres (votación 2 de 3): tabla de verdad, mapa de Karnaugh y forma NAND
• Exactamente uno de tres: por qué XOR no sirve
• Como máximo uno de tres: exclusión mutua
• Sumador completo, acarreo de salida: (A AND B) OR (Cin AND (A XOR B))

Leyes

• Ley de identidad (elemento neutro): A·1 = A, A+0 = A
• Ley de dominación (elemento dominante): A·0 = 0, A+1 = 1
• Ley de idempotencia: A·A = A, A+A = A
• Ley del complemento: A·A' = 0, A+A' = 1
• Ley de absorción: A + A·B = A, con demostración
• Leyes de De Morgan: (A·B)' = A' + B', con demostración y ejemplos

Herramientas

• Generador de tablas de verdad: cualquier expresión booleana, hasta 12 variables, con columnas intermedias
• Generador de circuitos lógicos: de expresión booleana a diagrama de compuertas (SVG)

Véase también

• Compuerta XOR: tabla de verdad de 2, 3 y 4 entradas (paridad impar)
• Precedencia de operadores en lógica booleana: NOT, luego AND, luego XOR, luego OR
• O inclusivo frente a exclusivo: «o ambos» es el valor por defecto
• «A o B y C»: la ambigüedad de agrupación y cómo resolverla
• Ley de dominación (elemento dominante): A·0 = 0, A+1 = 1
• Exactamente uno de tres: por qué XOR no sirve
• Lección 1: NOT, AND, OR: los operadores básicos

Operadores y compuertas

• Compuerta XOR: tabla de verdad de 2, 3 y 4 entradas (paridad impar)
• Compuerta NAND: tabla de verdad de 2, 3 y 4 entradas, compuerta universal
• Compuerta NOR: tabla de verdad de 2, 3 y 4 entradas, compuerta universal
• Compuerta XNOR: tabla de verdad, símbolo y equivalencia con el bicondicional

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.