NOT booleano in LaTeX (\overline{A})

Dove si usa

Barra tracciata per tutta la larghezza del suo argomento; indica il NOT booleano nei circuiti logici e la chiusura di un insieme in topologia.

Nella logica digitale \overline{A} è il segnale invertito, e \overline{A \cdot B} traccia un'unica barra continua sopra un'intera espressione, che è il motivo visivo per cui gli ingegneri la preferiscono a un \neg prefisso. I topologi usano lo stesso costrutto per la chiusura di un insieme. Rispetto a \bar{A}, che è un accento a larghezza fissa pensato per una sola lettera, \overline si estende per coprire tutto ciò che sta tra le graffe. Le negazioni annidate come \overline{\overline{A}} si sovrappongono in modo pulito. Per una barra leggermente più corta sulle singole lettere alcuni autori preferiscono \bar; vanno bene entrambi, purché siate coerenti.

Compare anche in: Topologia e matematica astratta

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

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

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

Simboli correlati

• ComplementoA'
• OR booleanoA + B
• Legge di De Morgan\overline{A \cdot B} = \overline{A} + \overline{B}
• AND booleanoA \cdot B
• Contraddizione (falsum, bottom)\bot
• Tautologia (verum, top)\top

Domande frequenti

Come si scrive NOT booleano in LaTeX?

Scrivi \overline{A} in modalità matematica, per esempio $\overline{\overline{A}} = A, \; \overline{A + B} = \overline{A}\,\overline{B}$. Funziona in LaTeX standard senza caricare alcun pacchetto.

Quale pacchetto serve per \overline{A}?

Nessuno. \overline{A} fa parte di LaTeX standard, quindi compila con la sola classe del documento nel preambolo.

Posso usare \overline{A} in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\overline{A}$.