Логическое И в LaTeX (A \cdot B)

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

Центрированная точка между двумя переменными — инженерная запись булева И (логической конъюнкции).

Алгебра переключательных функций и цифровая электроника записывают конъюнкцию как умножение: A \cdot B или просто AB, отражая то, что на 0 и 1 операция И ведёт себя как умножение. В формальной логике та же операция записывается как A \wedge B или A \land B. \cdot — бинарная операция, поэтому уже получает средние интервалы; не используйте точку, которая в математическом режиме ведёт себя как знак препинания и стоит на базовой линии. Многие учебники вовсе опускают точку в выражениях вида «сумма произведений», например AB + \overline{A}C, оставляя \cdot только там, где простое соседство было бы неоднозначным, например между многобуквенными именами сигналов.

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

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

\documentclass{article}
\begin{document}
Boolean AND: $A \cdot B$

\[ F = A \cdot B + \overline{A} \cdot C \]
\end{document}

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

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

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

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

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

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

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

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

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