NAND-Verknüpfung in LaTeX (\barwedge)

Verwendung

Ein Keil mit einem Strich darüber, verwendet als NAND-Junktor (Sheffer-Strich): wahr, außer wenn beide Eingänge wahr sind.

NAND ist funktional vollständig, sodass sich jede boolesche Funktion allein aus p \barwedge q aufbauen lässt, und genau aus diesem Grund setzen Digitaldesigner es ein. In der Logik schreibt man den Sheffer-Strich auch als senkrechten Strich, p \mid q, oder als p \uparrow q; legen Sie Ihre Notation daher einmal fest. \barwedge ist ein binärer Operator und erhält auf jeder Seite einen mittleren Abstand. Verwechseln Sie es nicht mit \veebar, bei dem der Strich unter einem Oder-Zeichen steht und das meist das ausschließende Oder bezeichnet, oder mit \doublebarwedge, das zwei Striche trägt. Seine Wahrheitstabelle ist das Komplement der von \wedge.

Minimales kompilierbares Beispiel

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

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

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

Verwandte Symbole

• NOR-Verknüpfung (überstrichenes ODER)\bar{\vee}
• Direkte Summe\oplus
• Eingekreister Punkt\odot
• Negation\neg
• Doppelpfeil nach rechts\Rightarrow
• Disjunktion (logisches Oder)\lor

Häufige Fragen

Wie schreibe ich NAND-Verknüpfung in LaTeX?

Schreiben Sie \barwedge im Mathematikmodus, zum Beispiel $p \barwedge q \equiv \neg (p \wedge q)$. Laden Sie zuerst amssymb mit \usepackage{amssymb}.

Welches Paket brauche ich für \barwedge?

\barwedge benötigt amssymb: Fügen Sie \usepackage{amssymb} in die Präambel ein, bevor das Dokument beginnt.

Kann ich \barwedge 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 $\barwedge$. Wenn Sie nur das Zeichen im Text brauchen, fügen Sie stattdessen das Unicode-Zeichen ⊼ ein (mit XeLaTeX oder LuaLaTeX und einer Schrift, die es enthält).