Операция ИЛИ-НЕ (черта над дизъюнкцией) в LaTeX (\bar{\vee})

Где используется

Знак дизъюнкции с чертой-акцентом сверху, собранный вручную для обозначения ИЛИ-НЕ (стрелки Пирса): истинно, только когда оба входа ложны.

В распространённых математических шрифтах нет стандартной отдельной команды для глифа ИЛИ-НЕ, поэтому \bar{\vee} имитирует его, ставя акцент над знаком «или». Побочный эффект: символ с акцентом становится обычным атомом и теряет интервалы бинарной операции, которые были у \vee, поэтому пишите \mathbin{\bar{\vee}}, чтобы их вернуть, лучше всего внутри \newcommand. Альтернативная запись p \downarrow q (стрелка Пирса) широко понятна и избавляет от этой проблемы. Не путайте это обозначение с \veebar, у которого черта стоит под знаком дизъюнкции и который обычно означает исключающее ИЛИ.

Минимальный компилируемый пример

Вставьте это в пустой файл .tex и скомпилируйте с pdfLaTeX, XeLaTeX или LuaLaTeX.

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

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

Похожие символы

• Точка в круге\odot
• Операция И-НЕ (NAND)\barwedge
• Двойная стрелка вправо\Rightarrow
• Прямая сумма\oplus
• Двойная двусторонняя стрелка\Leftrightarrow
• Отрицание\neg

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

Как написать «Операция ИЛИ-НЕ (черта над дизъюнкцией)» в LaTeX?

Наберите \bar{\vee} в математическом режиме, например $p \mathbin{\bar{\vee}} q \equiv \neg (p \vee q)$. Команда работает в обычном LaTeX без подключения пакетов.

Какой пакет нужен для \bar{\vee}?

Никакой. \bar{\vee} входит в стандартный LaTeX, поэтому в преамбуле достаточно класса документа.

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

Только в математическом режиме. Вне $...$ LaTeX остановится с ошибкой "Missing $ inserted", поэтому в тексте пишите $\bar{\vee}$.