Логическое НЕ в LaTeX (\overline{A})

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

Черта на всю ширину аргумента; обозначает булево НЕ в логических схемах и замыкание множества в топологии.

В цифровой логике \overline{A} — инвертированный сигнал, а \overline{A \cdot B} рисует одну сплошную черту над всем выражением — это наглядная причина, по которой инженеры предпочитают её префиксному \neg. Топологи используют ту же конструкцию для замыкания множества. В отличие от \bar{A} — акцента фиксированной ширины для одной буквы, — \overline растягивается на всё содержимое фигурных скобок. Вложенные отрицания вроде \overline{\overline{A}} аккуратно располагаются друг над другом. Для чуть более короткой черты над одиночными буквами некоторые авторы предпочитают \bar; подходит любой вариант, если вы последовательны.

Также в разделах: Топология и абстрактная математика

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

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

\documentclass{article}
\begin{document}
Boolean NOT: $\overline{A}$

\[ \overline{\overline{A}} = A, \; \overline{A + B} = \overline{A}\,\overline{B} \]
\end{document}

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

• ДополнениеA'
• Логическое ИЛИA + B
• Закон де Моргана\overline{A \cdot B} = \overline{A} + \overline{B}
• Логическое ИA \cdot B
• Противоречие (фальсум)\bot
• Тавтология (верум)\top

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

Как написать «Логическое НЕ» в LaTeX?

Наберите \overline{A} в математическом режиме, например $\overline{\overline{A}} = A, \; \overline{A + B} = \overline{A}\,\overline{B}$. Команда работает в обычном LaTeX без подключения пакетов.

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

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

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

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