Operatore NOR (OR negato) in LaTeX (\bar{\vee})

Dove si usa

Un simbolo di disgiunzione (\vee) con un accento a barra sopra, costruito a mano per rappresentare il NOR (freccia di Peirce): vero solo quando entrambi gli ingressi sono falsi.

Nei font matematici comuni non esiste un singolo comando standard per il glifo NOR, quindi \bar{\vee} lo simula ponendo un accento sopra il simbolo di or. Un effetto collaterale: un simbolo accentato diventa un atomo ordinario e perde la spaziatura da operatore binario che aveva \vee, quindi scrivete \mathbin{\bar{\vee}} per ripristinarla, idealmente dentro un \newcommand. La notazione alternativa p \downarrow q (freccia di Peirce) è ampiamente compresa ed evita il problema. Non confondetelo con \veebar, la cui barra sta sotto il simbolo di disgiunzione e normalmente significa XOR.

Esempio minimo compilabile

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

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

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

Simboli correlati

• Punto cerchiato\odot
• NAND\barwedge
• Freccia doppia a destra\Rightarrow
• Somma diretta\oplus
• Freccia doppia bidirezionale\Leftrightarrow
• Negazione\neg

Domande frequenti

Come si scrive Operatore NOR (OR negato) in LaTeX?

Scrivi \bar{\vee} in modalità matematica, per esempio $p \mathbin{\bar{\vee}} q \equiv \neg (p \vee q)$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \bar{\vee}?

Nessuno. \bar{\vee} fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare \bar{\vee} in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\bar{\vee}$.