Операция И-НЕ (NAND) в 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

Частые вопросы

Как написать «Операция И-НЕ (NAND)» в LaTeX?

Наберите \barwedge в математическом режиме, например $p \barwedge q \equiv \neg (p \wedge q)$. Сначала подключите amssymb: \usepackage{amssymb}.

Какой пакет нужен для \barwedge?

Для \barwedge нужен amssymb: добавьте \usepackage{amssymb} в преамбулу до начала документа.

Можно ли использовать \barwedge в текстовом режиме или только в математическом?

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $\barwedge$. Если нужен только сам знак в тексте, вставьте символ Unicode ⊼ (с XeLaTeX или LuaLaTeX и шрифтом, в котором он есть).