OU booleano em LaTeX (A + B)

Onde é usado

Sinal de mais usado como OU booleano na álgebra de comutação: a saída é 1 quando pelo menos uma entrada é 1.

Projetistas de circuitos escrevem a disjunção como A + B, de modo que formas de soma de produtos como AB + \overline{A}C se leem com naturalidade. Cuidado com o significado aritmético: na álgebra booleana 1 + 1 = 1, enquanto no corpo com dois elementos o sinal de mais significa XOR e 1 + 1 = 0, razão pela qual o XOR costuma ter seu próprio símbolo, \oplus. Lógicos escrevem o mesmo OU como A \vee B ou A \lor B. Nenhum comando especial é necessário; o + já tem espaçamento de operador binário, e em expressões longas é possível quebrar a linha antes de um + dentro de um ambiente multline.

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Símbolos relacionados

• NÃO booleano\overline{A}
• E booleanoA \cdot B
• ComplementoA'
• Contradição (falsum)\bot
• Lei de De Morgan\overline{A \cdot B} = \overline{A} + \overline{B}
• Tautologia (verum)\top

Perguntas frequentes

Como escrever OU booleano em LaTeX?

Digite A + B no modo matemático, por exemplo $A + \overline{A} = 1, \quad A + A B = A$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para A + B?

Nenhum. A + B faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar A + B no modo texto ou só no modo matemático?

Nos dois. A + B compila no texto corrido e dentro de $...$; em uma fórmula, mantenha-o no modo matemático para que use as fontes e o espaçamento matemáticos.