Negación booleana (NOT) en LaTeX (\overline{A})

Dónde se usa

Barra trazada sobre todo el ancho de su argumento; indica el NOT booleano en circuitos lógicos y la clausura de un conjunto en topología.

En lógica digital \overline{A} es la señal invertida, y \overline{A \cdot B} traza una barra continua sobre toda una expresión, que es la razón visual por la que los ingenieros la prefieren a un \neg prefijo. Los topólogos usan la misma construcción para la clausura de un conjunto. A diferencia de \bar{A}, que es un acento de ancho fijo pensado para una sola letra, \overline se estira para cubrir todo lo que hay entre las llaves. Las negaciones anidadas como \overline{\overline{A}} se apilan limpiamente. Para una barra algo más corta sobre letras sueltas, algunos autores prefieren \bar; cualquiera de las dos sirve si eres coherente.

También aparece en: Topología y Matemáticas Abstractas

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo 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}

Símbolos relacionados

• ComplementoA'
• Disyunción booleana (OR)A + B
• Ley de De Morgan\overline{A \cdot B} = \overline{A} + \overline{B}
• Conjunción booleana (AND)A \cdot B
• Contradicción (falsum, mínimo)\bot
• Tautología (verum, máximo)\top

Preguntas frecuentes

¿Cómo escribo Negación booleana (NOT) en LaTeX?

Escribe \overline{A} en modo matemático, por ejemplo $\overline{\overline{A}} = A, \; \overline{A + B} = \overline{A}\,\overline{B}$. Funciona en LaTeX estándar sin cargar ningún paquete.

¿Qué paquete necesito para \overline{A}?

Ninguno. \overline{A} forma parte de LaTeX estándar, así que compila solo con la clase de documento en el preámbulo.

¿Puedo usar \overline{A} en modo texto o solo en modo matemático?

Solo en modo matemático. Fuera de $...$ LaTeX se detiene con "Missing $ inserted", así que en el texto escribe $\overline{A}$.