Disyunción booleana (OR) en LaTeX (A + B)

Dónde se usa

Signo más usado como OR booleano en el álgebra de conmutación: la salida es 1 cuando al menos una entrada es 1.

Los diseñadores de circuitos escriben la disyunción como A + B, de modo que las formas de suma de productos como AB + \overline{A}C se leen con naturalidad. Cuidado con el significado aritmético: en el álgebra de Boole 1 + 1 = 1, mientras que en el cuerpo de dos elementos el signo más significa XOR y 1 + 1 = 0, por lo que XOR suele tener su propio símbolo \oplus. Los lógicos escriben el mismo OR como A \vee B o A \lor B. No hace falta ningún comando especial; el + ya lleva espaciado de operador binario, y en expresiones largas puedes cortar la línea antes de un + dentro de un entorno multline.

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\begin{document}
Boolean OR: $A + B$

\[ A + \overline{A} = 1, \quad A + A B = A \]
\end{document}

Símbolos relacionados

• Negación booleana (NOT)\overline{A}
• Conjunción booleana (AND)A \cdot B
• ComplementoA'
• Contradicción (falsum, mínimo)\bot
• Ley de De Morgan\overline{A \cdot B} = \overline{A} + \overline{B}
• Tautología (verum, máximo)\top

Preguntas frecuentes

¿Cómo escribo Disyunción booleana (OR) en LaTeX?

Escribe A + B en modo matemático, por ejemplo $A + \overline{A} = 1, \quad A + A B = A$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para A + B?

Ninguno. A + B forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar A + B en modo texto o solo en modo matemático?

En ambos. A + B compila en el texto y dentro de $...$; en una fórmula déjalo en modo matemático para que use fuentes y espaciado matemáticos.