如何编写 NAND 和 NOR 运算符？

Question

\wedge我正在尝试使用与 a或 a重叠的波浪号来定义布尔运算符 NAND 和 NOR \vee。我在 LaTeX 符号的完整列表中找不到这些。我尝试使用\llap，但我收到错误消息，因为\wedge和\vee被定义为运算符。这就是我希望它们的样子：

Answer 1

您可以利用\ooalign：

\documentclass{article}
\usepackage{amsmath}

\makeatletter
\DeclareRobustCommand{\nand}{\mathbin{\mathpalette\n@and@or\land}}
\DeclareRobustCommand{\nor}{\mathbin{\mathpalette\n@and@or\lor}}

\newcommand{\n@and@or}[2]{%
  \vphantom{#2}%
  \ooalign{$\m@th#1#2$\cr\hidewidth$\m@th#1\sim$\hidewidth\cr}%
}
\makeatother

\begin{document}

$a \land b$ $a \lor b_{a\lor b\land c}$

$a \nand b$ $a \nor b_{a\nor b\nand c}$

\end{document}