AND booleano in LaTeX (A \cdot B)

Dove si usa

Punto centrato tra due variabili: è la notazione ingegneristica per l'AND booleano (congiunzione logica).

L'algebra della commutazione e l'elettronica digitale scrivono la congiunzione in forma moltiplicativa: A \cdot B, o semplicemente AB, rispecchiando il fatto che l'AND si comporta come la moltiplicazione su 0 e 1. Nella logica formale la stessa operazione si scrive A \wedge B o A \land B. \cdot è un operatore binario, quindi riceve già uno spazio medio; non usate un punto fermo, che in modalità matematica si comporta come punteggiatura e sta sulla linea di base. Molti libri di testo omettono del tutto il punto nelle espressioni in forma di somma di prodotti come AB + \overline{A}C, mantenendo \cdot solo dove la giustapposizione sarebbe ambigua, per esempio tra nomi di segnali di più lettere.

Esempio minimo compilabile

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

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

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

Simboli correlati

• OR booleanoA + B
• Contraddizione (falsum, bottom)\bot
• NOT booleano\overline{A}
• Tautologia (verum, top)\top
• ComplementoA'
• Freccia doppia bidirezionale\Leftrightarrow

Domande frequenti

Come si scrive AND booleano in LaTeX?

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

Quale pacchetto serve per A \cdot B?

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

Posso usare A \cdot B in modalità testo o solo in modalità matematica?

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