Operador NAND en LaTeX (\barwedge)

Dónde se usa

Cuña con una barra encima, usada como conectiva NAND (barra de Sheffer): verdadera salvo que ambas entradas sean verdaderas.

NAND es funcionalmente completa, de modo que cualquier función booleana puede construirse solo con p \barwedge q, y los diseñadores digitales la usan precisamente por eso. Los lógicos también escriben la barra de Sheffer como una barra vertical, p \mid q, o como p \uparrow q, así que indica tu notación una vez. \barwedge es un operador binario, con espaciado medio a cada lado. No lo confundas con \veebar, que lleva la barra debajo de una v y suele denotar la disyunción exclusiva, ni con \doublebarwedge, que lleva dos barras. Su tabla de verdad es la complementaria de la de \wedge.

Ejemplo mínimo compilable

Pégalo en un archivo .tex vacío y compílalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\usepackage{amssymb}
\begin{document}
NAND: $\barwedge$

\[ p \barwedge q \equiv \neg (p \wedge q) \]
\end{document}

Símbolos relacionados

• Operador NOR (barra sobre la disyunción)\bar{\vee}
• Suma directa\oplus
• Punto en círculo\odot
• Negación\neg
• Flecha doble a la derecha\Rightarrow
• Disyunción lógica\lor

Preguntas frecuentes

¿Cómo escribo Operador NAND en LaTeX?

Escribe \barwedge en modo matemático, por ejemplo $p \barwedge q \equiv \neg (p \wedge q)$. Carga antes amssymb con \usepackage{amssymb}.

¿Qué paquete necesito para \barwedge?

\barwedge necesita amssymb: añade \usepackage{amssymb} al preámbulo antes de que empiece el documento.

¿Puedo usar \barwedge 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 $\barwedge$. Si solo necesitas el glifo en el texto, pega el carácter Unicode ⊼ (con XeLaTeX o LuaLaTeX y una fuente que lo tenga).