Para una aplicación práctica, vea puerta lógica.
El símbolo lógico OR se utiliza en el álgebra de Boole para indicar una disyunción inclusiva entre dos declaraciones. Una disyunción inclusiva es verdadera si alguno de sus componentes, o ambos, son verdaderos. El símbolo más utilizado es un signo más (+).
El uso más simple del símbolo OR es con una oración que consta de dos declaraciones. Por ejemplo, si A representa el enunciado 'Está lloviendo' y B representa el enunciado 'Está nevando', entonces A + B representa el enunciado 'Está lloviendo o nevando, o ambos'.
El símbolo OR se encuentra a menudo dentro de enunciados lógicos complejos junto con otros símbolos. En álgebra de Boole, la negación (también llamada operación NOT) se representa mediante un guión con una 'cola' (¬). La operación lógica AND está representada por un asterisco (*). Ciertos hechos relacionados con la negación, la operación OR y la operación AND se han probado en el álgebra de Boole y se conocen como leyes de DeMorgan. De acuerdo con estos teoremas, los siguientes pares de enunciados son lógicamente equivalentes para todo A y para todo B:
¬ (A + B)
(¬A) * (¬B)
¬ (A * B)
(¬A) + (¬B)
Consulte también Símbolos matemáticos.