NOR-Verknüpfung (überstrichenes ODER) in LaTeX (\bar{\vee})

Verwendung

Ein Oder-Zeichen (\vee) mit einem Strichakzent darüber, von Hand gebaut, um NOR (Peirce-Pfeil) darzustellen: nur wahr, wenn beide Eingänge falsch sind.

In den gängigen Mathematikschriften gibt es keinen einzelnen Standardbefehl für das NOR-Zeichen, daher behilft man sich mit \bar{\vee}, das einen Akzent über das Oder-Zeichen setzt. Ein Nebeneffekt: Ein Symbol mit Akzent wird zu einem gewöhnlichen Atom und verliert den Abstand eines binären Operators, den \vee hatte; schreiben Sie daher \mathbin{\bar{\vee}}, um ihn wiederherzustellen, am besten innerhalb eines \newcommand. Die alternative Notation p \downarrow q (Peirce-Pfeil) ist weithin bekannt und umgeht das Problem. Verwechseln Sie dies nicht mit \veebar, dessen Strich unter dem Oder-Zeichen sitzt und das normalerweise XOR bedeutet.

Minimales kompilierbares Beispiel

Fügen Sie dies in eine leere .tex-Datei ein und kompilieren Sie mit pdfLaTeX, XeLaTeX oder LuaLaTeX.

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

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

Verwandte Symbole

• Eingekreister Punkt\odot
• NAND-Verknüpfung\barwedge
• Doppelpfeil nach rechts\Rightarrow
• Direkte Summe\oplus
• Doppelpfeil nach links und rechts\Leftrightarrow
• Negation\neg

Häufige Fragen

Wie schreibe ich NOR-Verknüpfung (überstrichenes ODER) in LaTeX?

Schreiben Sie \bar{\vee} im Mathematikmodus, zum Beispiel $p \mathbin{\bar{\vee}} q \equiv \neg (p \vee q)$. Es funktioniert in Standard-LaTeX, ohne ein Paket zu laden.

Welches Paket brauche ich für \bar{\vee}?

Keines. \bar{\vee} gehört zum Standardumfang von LaTeX und kompiliert ohne weitere Angaben in der Präambel außer der Dokumentklasse.

Kann ich \bar{\vee} im Textmodus verwenden oder nur im Mathematikmodus?

Nur im Mathematikmodus. Außerhalb von $...$ bricht LaTeX mit "Missing $ inserted" ab, schreiben Sie im Fließtext also $\bar{\vee}$.