NAND in LaTeX (\barwedge)

Dove si usa

Cuneo con una barra sopra, usato come connettivo NAND (barra di Sheffer): vero tranne quando entrambi gli ingressi sono veri.

Il NAND è funzionalmente completo, quindi ogni funzione booleana si può costruire solo con p \barwedge q, ed è proprio per questo che i progettisti digitali lo usano. I logici scrivono la barra di Sheffer anche come barra verticale, p \mid q o p \uparrow q, quindi dichiarate la vostra notazione una volta. \barwedge è un operatore binario e riceve uno spazio medio su ciascun lato. Non confondetelo con \veebar, che ha la barra sotto il simbolo di disgiunzione e di solito indica l'or esclusivo, né con \doublebarwedge, che porta due barre. La sua tavola di verità è il complemento di quella di \wedge.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Simboli correlati

• Operatore NOR (OR negato)\bar{\vee}
• Somma diretta\oplus
• Punto cerchiato\odot
• Negazione\neg
• Freccia doppia a destra\Rightarrow
• Disgiunzione logica\lor

Domande frequenti

Come si scrive NAND in LaTeX?

Scrivi \barwedge in modalità matematica, per esempio $p \barwedge q \equiv \neg (p \wedge q)$. Carica prima amssymb con \usepackage{amssymb}.

Quale pacchetto serve per \barwedge?

\barwedge richiede amssymb: aggiungi \usepackage{amssymb} al preambolo prima dell'inizio del documento.

Posso usare \barwedge in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\barwedge$. Se ti serve solo il glifo nel testo, incolla invece il carattere Unicode ⊼ (con XeLaTeX o LuaLaTeX e un font che lo contenga).