LaTeX 中的与非运算符（\barwedge）

用途

上方带横线的合取符号，用作与非（谢弗竖线）联结词：除非两个输入都为真，否则结果为真。

与非是函数完备的，因此任何布尔函数都可以仅用 p \barwedge q 构造出来，数字电路设计者正是出于这个原因使用它。逻辑学家也把谢弗竖线写成竖线 p \mid q 或 p \uparrow q，所以请先声明一次所用记号。\barwedge 是二元运算符，两侧有中等间距。不要把它与 \veebar 混淆，后者的横线位于析取符号下方，通常表示异或；也不要与带两条横线的 \doublebarwedge 混淆。它的真值表是 \wedge 的取反。

最小可编译示例

将其粘贴到空白 .tex 文件中，用 pdfLaTeX、XeLaTeX 或 LuaLaTeX 编译。

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

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

相关符号

• 或非运算符（析取符号上加横线）\bar{\vee}
• 直和符号\oplus
• 圆圈点\odot
• 否定符号\neg
• 双线右箭头\Rightarrow
• 逻辑或（析取）\lor

常见问题

如何在 LaTeX 中输入与非运算符？

在数学模式中输入 \barwedge，例如 $p \barwedge q \equiv \neg (p \wedge q)$。请先用 \usepackage{amssymb} 加载 amssymb。

\barwedge 需要哪个宏包？

\barwedge 需要 amssymb：在文档开始前把 \usepackage{amssymb} 加入导言区。

\barwedge 能在文本模式中使用，还是只能用于数学模式？

只能用于数学模式。在 $...$ 之外，LaTeX 会报错 "Missing $ inserted"，所以在正文中请写 $\barwedge$。 如果只需要在正文中显示该字形，可以直接粘贴 Unicode 字符 ⊼（需使用 XeLaTeX 或 LuaLaTeX 以及包含该字形的字体）。