Algebra booleana — leggi, teoremi e semplificazione

L’algebra booleana è il sistema usato per combinare e semplificare espressioni vero/falso. Se stai cercando di ridurre un’espressione logica come $AB + A\overline{B}$, gli strumenti principali sono leggi come il complemento, la distributiva, l’assorbimento e i teoremi di De Morgan.

In una notazione comune, $x + y$ significa OR, $xy$ significa AND e $\overline{x}$ significa NOT $x$. In alcuni libri il NOT si scrive come $x'$, ma le regole di base sono le stesse.

Cosa significa algebra booleana

L’algebra ordinaria lavora con i numeri. L’algebra booleana lavora con enunciati o variabili binarie che possono assumere solo due valori: vero/falso oppure $1/0$.

Questo cambia le regole. Nell’algebra booleana,

$$x + x = x \quad \text{and} \quad xx = x$$

Entrambe le identità dicono la stessa cosa: ripetere una condizione non crea un nuovo risultato. Se un interruttore è già acceso, dire “acceso OR acceso” non cambia nulla.

Le leggi dell’algebra booleana che usi davvero

Queste sono le leggi che compaiono più spesso quando semplifichi un’espressione booleana.

Leggi di identità

$$x + 0 = x, \qquad x \cdot 1 = x$$

Aggiungere falso non cambia nulla, e fare AND con vero non cambia nulla.

Leggi di annullamento

$$x + 1 = 1, \qquad x \cdot 0 = 0$$

Se un OR contiene già vero, l’intero risultato è vero. Se un AND contiene falso, l’intero risultato è falso.

Leggi idempotenti

$$x + x = x, \qquad x \cdot x = x$$

Ripetere la stessa variabile non cambia l’espressione.

Leggi del complemento

$$x + \overline{x} = 1, \qquad x \cdot \overline{x} = 0$$

Una variabile e il suo opposto coprono tutti i casi nell’OR, ma non si sovrappongono mai nell’AND.

Leggi commutative e associative

$$x + y = y + x, \qquad xy = yx$$ $$(x + y) + z = x + (y + z), \qquad (xy)z = x(yz)$$

Queste ti permettono di riordinare o raggruppare i termini senza cambiare il risultato.

Leggi distributive

$$x(y + z) = xy + xz$$ $$x + yz = (x + y)(x + z)$$

La seconda forma spesso sembra meno familiare, ma è un’identità booleana standard e compare nella fattorizzazione.

Leggi di assorbimento

$$x + xy = x, \qquad x(x + y) = x$$

Sono particolarmente utili quando un’espressione sembra più lunga di quanto sia davvero.

Teoremi di De Morgan

$$\overline{x + y} = \overline{x}\,\overline{y}, \qquad \overline{xy} = \overline{x} + \overline{y}$$

Questi ti dicono come una negazione si sposta attraverso OR e AND. Quando il NOT attraversa le parentesi, OR e AND si scambiano di ruolo.

Esempio svolto: semplificare $AB + A\overline{B}$

Parti da

$$F = AB + A\overline{B}$$

Raccogli il fattore comune $A$:

$$F = A(B + \overline{B})$$

Ora usa la legge del complemento:

$$F = A \cdot 1$$

Poi usa la legge di identità:

$$F = A$$

Quindi $AB + A\overline{B} = A$. Intuitivamente, se $A = 1$, allora o $B = 1$ oppure $\overline{B} = 1$, quindi uno dei due termini deve essere vero. Se $A = 0$, entrambi i termini sono falsi. L’intera espressione dipende solo da $A$.

Errori comuni nell’algebra booleana

Un errore comune è importare nell’algebra booleana abitudini dell’algebra ordinaria. Per esempio, $x + x = 2x$ non è una regola booleana. Qui il risultato corretto è $x$.

Un altro errore è applicare una legge senza controllare la notazione. In molti testi, $+$ significa OR, non addizione aritmetica, e scrivere le variabili una accanto all’altra significa AND.

Gli studenti usano male anche i teoremi di De Morgan, negando ogni variabile ma dimenticando di scambiare OR e AND. Entrambe le parti sono importanti.

Dove si usa l’algebra booleana

L’algebra booleana è centrale nella logica digitale, dove le variabili rappresentano stati acceso/spento o vero/falso. Si usa per semplificare i progetti dei circuiti, scrivere condizioni logiche più pulite nel software e ragionare su filtri di ricerca o query di database.

Se le variabili non sono binarie oppure le operazioni sono quelle dell’aritmetica ordinaria, le leggi booleane non si applicano direttamente. Il contesto a due valori è la condizione che fa funzionare il sistema.

Prova una semplificazione simile

Prova a semplificare $(A + B)(A + \overline{B})$. Se usi con attenzione le leggi sopra, si riduce più di quanto sembri all’inizio. Se vuoi fare un passo in più, costruisci una tabella di verità e verifica che la forma semplificata coincida con ogni riga.