NÃO booleano em LaTeX (\overline{A})

Onde é usado

Barra traçada sobre toda a largura do argumento; indica o NÃO booleano em circuitos lógicos e o fecho de um conjunto em topologia.

Em lógica digital, \overline{A} é o sinal invertido, e \overline{A \cdot B} traça uma única barra contínua sobre toda a expressão, que é a razão visual pela qual os engenheiros o preferem a um \neg prefixado. Topólogos usam a mesma construção para o fecho de um conjunto. Comparado a \bar{A}, um acento de largura fixa pensado para uma única letra, \overline se estende para cobrir tudo o que está entre as chaves. Negações aninhadas como \overline{\overline{A}} se empilham de forma limpa. Para uma barra um pouco mais curta sobre letras isoladas, alguns autores preferem \bar; qualquer um serve, desde que se mantenha a consistência.

Também aparece em: Topologia e Matemática Abstrata

Exemplo mínimo compilável

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

\documentclass{article}
\begin{document}
Boolean NOT: $\overline{A}$

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

Símbolos relacionados

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

Perguntas frequentes

Como escrever NÃO booleano em LaTeX?

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

Qual pacote é necessário para \overline{A}?

Nenhum. \overline{A} faz parte do LaTeX padrão, então compila só com a classe do documento no preâmbulo.

Posso usar \overline{A} no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $\overline{A}$.