Opérateur NOR (barre sur le « ou ») en LaTeX (\bar{\vee})

Où il est utilisé

Un « ou » logique surmonté d’un accent barre, construit à la main pour représenter NOR (flèche de Peirce) : vrai seulement quand les deux entrées sont fausses.

Les polices mathématiques courantes n’ont pas de commande standard unique pour le glyphe NOR : \bar{\vee} l’imite en plaçant un accent sur le symbole de disjonction. Effet secondaire : un symbole accentué devient un atome ordinaire et perd l’espacement d’opérateur binaire qu’avait \vee ; écrivez donc \mathbin{\bar{\vee}} pour le rétablir, idéalement dans un \newcommand. La notation alternative p \downarrow q (flèche de Peirce) est largement comprise et évite le problème. Ne le confondez pas avec \veebar, dont la barre est sous le « ou » et qui signifie normalement XOR.

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec 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}

Symboles associés

• Point cerclé\odot
• Opérateur NAND\barwedge
• Double flèche vers la droite\Rightarrow
• Somme directe\oplus
• Double flèche gauche-droite\Leftrightarrow
• Négation\neg

Questions fréquentes

Comment écrire Opérateur NOR (barre sur le « ou ») en LaTeX ?

Tapez \bar{\vee} en mode mathématique, par exemple $p \mathbin{\bar{\vee}} q \equiv \neg (p \vee q)$. La commande fonctionne en LaTeX standard sans charger de paquet.

Quel paquet faut-il pour \bar{\vee} ?

Aucun. \bar{\vee} fait partie de LaTeX standard : le préambule n’a besoin que de la classe de document.

Peut-on utiliser \bar{\vee} en mode texte, ou seulement en mode mathématique ?

Seulement en mode mathématique. Hors de $...$, LaTeX s’arrête avec "Missing $ inserted" : dans le texte, écrivez $\bar{\vee}$.