OR booleano in LaTeX (A + B)

Dove si usa

Segno più usato come OR booleano nell'algebra della commutazione: l'uscita vale 1 quando almeno un ingresso vale 1.

I progettisti di circuiti scrivono la disgiunzione come A + B, così le forme a somma di prodotti come AB + \overline{A}C si leggono in modo naturale. Fate attenzione al significato aritmetico: nell'algebra di Boole 1 + 1 = 1, mentre nel campo con due elementi il segno più indica lo XOR e 1 + 1 = 0, ed è per questo che lo XOR riceve spesso un simbolo proprio, \oplus. I logici scrivono lo stesso OR come A \vee B o A \lor B. Non serve alcun comando speciale: il + ha già la spaziatura da operatore binario, e nelle espressioni lunghe potete andare a capo prima di un + dentro un ambiente multline.

Esempio minimo compilabile

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

\documentclass{article}
\begin{document}
Boolean OR: $A + B$

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

Simboli correlati

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

Domande frequenti

Come si scrive OR booleano in LaTeX?

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

Quale pacchetto serve per A + B?

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

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

Entrambe. A + B compila nel testo e dentro $...$; in una formula lascialo in modalità matematica, così usa i font e la spaziatura matematici.