NAND (barra de Sheffer) em LaTeX (\barwedge)

Onde é usado

Cunha com uma barra por cima, usada como o conectivo NAND (barra de Sheffer): verdadeiro, a menos que ambas as entradas sejam verdadeiras.

O NAND é funcionalmente completo, então toda função booleana pode ser construída apenas com p \barwedge q, e os projetistas de circuitos digitais o usam exatamente por isso. Lógicos também escrevem a barra de Sheffer como uma barra vertical, p \mid q, ou como p \uparrow q, então declare sua notação uma vez. \barwedge é um operador binário, com espaçamento médio de cada lado. Não o confunda com \veebar, que tem a barra sob um “ou” e costuma denotar o ou exclusivo, nem com \doublebarwedge, que traz duas barras. Sua tabela-verdade é o complemento da de \wedge.

Exemplo mínimo compilável

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
NAND: $\barwedge$

\[ p \barwedge q \equiv \neg (p \wedge q) \]
\end{document}

Símbolos relacionados

• Operador NOR (barra sobre o “ou”)\bar{\vee}
• Soma direta\oplus
• Ponto circulado\odot
• Negação\neg
• Seta dupla para a direita\Rightarrow
• Disjunção lógica\lor

Perguntas frequentes

Como escrever NAND (barra de Sheffer) em LaTeX?

Digite \barwedge no modo matemático, por exemplo $p \barwedge q \equiv \neg (p \wedge q)$. Carregue antes amssymb com \usepackage{amssymb}.

Qual pacote é necessário para \barwedge?

\barwedge precisa de amssymb: adicione \usepackage{amssymb} ao preâmbulo antes do início do documento.

Posso usar \barwedge 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 $\barwedge$. Se você só precisa do glifo no texto, cole o caractere Unicode ⊼ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).