Opérateur NAND en LaTeX (\barwedge)

Où il est utilisé

Coin surmonté d’une barre, employé comme connecteur NAND (barre de Sheffer) : vrai sauf si les deux entrées sont vraies.

NAND est fonctionnellement complet : toute fonction booléenne peut être construite à partir de p \barwedge q seul, et c’est précisément pour cela que les concepteurs de circuits numériques l’utilisent. Les logiciens écrivent aussi la barre de Sheffer sous forme de barre verticale, p \mid q, ou de flèche, p \uparrow q ; indiquez donc votre notation une fois. \barwedge est un opérateur binaire, avec une espace moyenne de chaque côté. Ne le confondez pas avec \veebar, dont la barre est sous un « ou » et qui désigne généralement le ou exclusif, ni avec \doublebarwedge, qui porte deux barres. Sa table de vérité est la négation de celle de \wedge.

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec pdfLaTeX, XeLaTeX ou LuaLaTeX.

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

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

Symboles associés

• Opérateur NOR (barre sur le « ou »)\bar{\vee}
• Somme directe\oplus
• Point cerclé\odot
• Négation\neg
• Double flèche vers la droite\Rightarrow
• Disjonction logique\lor

Questions fréquentes

Comment écrire Opérateur NAND en LaTeX ?

Tapez \barwedge en mode mathématique, par exemple $p \barwedge q \equiv \neg (p \wedge q)$. Chargez d’abord amssymb avec \usepackage{amssymb}.

Quel paquet faut-il pour \barwedge ?

\barwedge nécessite amssymb : ajoutez \usepackage{amssymb} au préambule avant le début du document.

Peut-on utiliser \barwedge 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 $\barwedge$. Si vous voulez seulement le glyphe dans le texte, collez le caractère Unicode ⊼ (avec XeLaTeX ou LuaLaTeX et une police qui le contient).