Operador NOR (barra sobre o “ou”) em LaTeX (\bar{\vee})

Onde é usado

Um “ou” com um acento de barra em cima, montado à mão para representar o NOR (seta de Peirce): verdadeiro apenas quando ambas as entradas são falsas.

Não há um comando único padrão para o glifo do NOR nas fontes matemáticas comuns, então \bar{\vee} o simula colocando um acento sobre o símbolo de disjunção. Um efeito colateral: um símbolo acentuado vira um átomo comum e perde o espaçamento de operador binário que \vee tinha; escreva \mathbin{\bar{\vee}} para restaurá-lo, de preferência dentro de um \newcommand. A notação alternativa p \downarrow q (seta de Peirce) é amplamente compreendida e evita o problema. Não confunda com \veebar, cuja barra fica sob o “ou” e normalmente significa XOR.

Exemplo mínimo compilável

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

\documentclass{article}
\begin{document}
NOR operator (bar over vee): $\bar{\vee}$

\[ p \mathbin{\bar{\vee}} q \equiv \neg (p \vee q) \]
\end{document}

Símbolos relacionados

• Ponto circulado\odot
• NAND (barra de Sheffer)\barwedge
• Seta dupla para a direita\Rightarrow
• Soma direta\oplus
• Seta dupla para a esquerda e para a direita\Leftrightarrow
• Negação\neg

Perguntas frequentes

Como escrever Operador NOR (barra sobre o “ou”) em LaTeX?

Digite \bar{\vee} no modo matemático, por exemplo $p \mathbin{\bar{\vee}} q \equiv \neg (p \vee q)$. Funciona no LaTeX padrão sem carregar nenhum pacote.

Qual pacote é necessário para \bar{\vee}?

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

Posso usar \bar{\vee} 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 $\bar{\vee}$.