Semplificare espressione come somma minima
Ciao, sto studiando l'algebra booleana in elettronica e per esercitarmi sto provando a risolvere alcuni esercizi d'esame. Ci sono alcuni passaggi che non riesco a capire, potete darmi una mano?
L'obiettivo è trovare la somma minima utilizzando le proprietà dell'algebra booleana:
![[A\oplus B+D+B]\cdot [\bar C+ \bar B \cdot \bar D] \cdot[ \overline {\bar A \oplus B}+\bar C] \cdot [ \overline {\bar C \oplus 1}] \cdot A \cdot (\bar A+B)+\bar A [A\oplus B+D+B]\cdot [\bar C+ \bar B \cdot \bar D] \cdot[ \overline {\bar A \oplus B}+\bar C] \cdot [ \overline {\bar C \oplus 1}] \cdot A \cdot (\bar A+B)+\bar A](/forum/latexrender/pictures/4be4ccaf9f7b8edc51b477c281d845a3.png)
![[A\oplus B+D+B]\cdot [\bar C+ \bar B \cdot \bar D] \cdot[ \overline {\bar A \oplus B}+\bar C] \cdot \bar C \cdot (A \cdot B)+ \bar A [A\oplus B+D+B]\cdot [\bar C+ \bar B \cdot \bar D] \cdot[ \overline {\bar A \oplus B}+\bar C] \cdot \bar C \cdot (A \cdot B)+ \bar A](/forum/latexrender/pictures/851a71c5d9808dbda71d0fa0867ee450.png)
![[A\oplus B+D+B]\cdot [\bar C+ \bar B \cdot \bar D] \cdot[ A \oplus B+\bar C] \cdot \bar C \cdot (A \cdot B)+ \bar A [A\oplus B+D+B]\cdot [\bar C+ \bar B \cdot \bar D] \cdot[ A \oplus B+\bar C] \cdot \bar C \cdot (A \cdot B)+ \bar A](/forum/latexrender/pictures/cfd8ccc428b0893cb039f75cce2022c8.png)
![[A\oplus B+D+B]\cdot [\bar C+ \bar B \cdot \bar D] \cdot \bar C \cdot (A \cdot B)+ \bar A [A\oplus B+D+B]\cdot [\bar C+ \bar B \cdot \bar D] \cdot \bar C \cdot (A \cdot B)+ \bar A](/forum/latexrender/pictures/f68c79f0dcd41f0dbc022d6edc2ff584.png)
In questo passaggio dice che:
?
![[A\oplus B+D+B] \cdot \bar C \cdot (A \cdot B)+ \bar A [A\oplus B+D+B] \cdot \bar C \cdot (A \cdot B)+ \bar A](/forum/latexrender/pictures/8edd1801300dc809516ae34144e826cd.png)
Qui dice che:
?
![[A\cdot\bar B + \bar A\cdot B+B+D] \cdot A \cdot B\cdot \bar C+ \bar A [A\cdot\bar B + \bar A\cdot B+B+D] \cdot A \cdot B\cdot \bar C+ \bar A](/forum/latexrender/pictures/5410efa2c2f1d38bfb09c1e34ec18f00.png)
![[A\cdot\bar B + B+D] \cdot A \cdot B\cdot \bar C+ \bar A [A\cdot\bar B + B+D] \cdot A \cdot B\cdot \bar C+ \bar A](/forum/latexrender/pictures/5b45fc441e1f006e772a3f8f2f8104f4.png)
Com'è possibile che:
=
?
![[A+B+D] \cdot A \cdot B\cdot \bar C+ \bar A [A+B+D] \cdot A \cdot B\cdot \bar C+ \bar A](/forum/latexrender/pictures/6bc32c2a73fde47b901603f1230c0d16.png)
Da questa formula arriva a scrivere la soluzione finale:
A questo risultato finale quali proprietà ha applicato? Scusate le domande ma il professore non è stato molto chiaro ella spiegazione. Grazie
L'obiettivo è trovare la somma minima utilizzando le proprietà dell'algebra booleana:
![[A\oplus B+D+B]\cdot [\bar C+ \bar B \cdot \bar D] \cdot[ \overline {\bar A \oplus B}+\bar C] \cdot [ \overline {\bar C \oplus 1}] \cdot A \cdot (\bar A+B)+\bar A [A\oplus B+D+B]\cdot [\bar C+ \bar B \cdot \bar D] \cdot[ \overline {\bar A \oplus B}+\bar C] \cdot [ \overline {\bar C \oplus 1}] \cdot A \cdot (\bar A+B)+\bar A](/forum/latexrender/pictures/4be4ccaf9f7b8edc51b477c281d845a3.png)
![[A\oplus B+D+B]\cdot [\bar C+ \bar B \cdot \bar D] \cdot[ \overline {\bar A \oplus B}+\bar C] \cdot \bar C \cdot (A \cdot B)+ \bar A [A\oplus B+D+B]\cdot [\bar C+ \bar B \cdot \bar D] \cdot[ \overline {\bar A \oplus B}+\bar C] \cdot \bar C \cdot (A \cdot B)+ \bar A](/forum/latexrender/pictures/851a71c5d9808dbda71d0fa0867ee450.png)
![[A\oplus B+D+B]\cdot [\bar C+ \bar B \cdot \bar D] \cdot[ A \oplus B+\bar C] \cdot \bar C \cdot (A \cdot B)+ \bar A [A\oplus B+D+B]\cdot [\bar C+ \bar B \cdot \bar D] \cdot[ A \oplus B+\bar C] \cdot \bar C \cdot (A \cdot B)+ \bar A](/forum/latexrender/pictures/cfd8ccc428b0893cb039f75cce2022c8.png)
![[A\oplus B+D+B]\cdot [\bar C+ \bar B \cdot \bar D] \cdot \bar C \cdot (A \cdot B)+ \bar A [A\oplus B+D+B]\cdot [\bar C+ \bar B \cdot \bar D] \cdot \bar C \cdot (A \cdot B)+ \bar A](/forum/latexrender/pictures/f68c79f0dcd41f0dbc022d6edc2ff584.png)
In questo passaggio dice che:
?![[A\oplus B+D+B] \cdot \bar C \cdot (A \cdot B)+ \bar A [A\oplus B+D+B] \cdot \bar C \cdot (A \cdot B)+ \bar A](/forum/latexrender/pictures/8edd1801300dc809516ae34144e826cd.png)
Qui dice che:
?![[A\cdot\bar B + \bar A\cdot B+B+D] \cdot A \cdot B\cdot \bar C+ \bar A [A\cdot\bar B + \bar A\cdot B+B+D] \cdot A \cdot B\cdot \bar C+ \bar A](/forum/latexrender/pictures/5410efa2c2f1d38bfb09c1e34ec18f00.png)
![[A\cdot\bar B + B+D] \cdot A \cdot B\cdot \bar C+ \bar A [A\cdot\bar B + B+D] \cdot A \cdot B\cdot \bar C+ \bar A](/forum/latexrender/pictures/5b45fc441e1f006e772a3f8f2f8104f4.png)
Com'è possibile che:
=
?![[A+B+D] \cdot A \cdot B\cdot \bar C+ \bar A [A+B+D] \cdot A \cdot B\cdot \bar C+ \bar A](/forum/latexrender/pictures/6bc32c2a73fde47b901603f1230c0d16.png)
Da questa formula arriva a scrivere la soluzione finale:

A questo risultato finale quali proprietà ha applicato? Scusate le domande ma il professore non è stato molto chiaro ella spiegazione. Grazie






![[A \cdot B + \bar A \cdot \bar B+ \bar C ] \cdot \bar C \cdot A \cdot B=\bar C \cdot A \cdot B [A \cdot B + \bar A \cdot \bar B+ \bar C ] \cdot \bar C \cdot A \cdot B=\bar C \cdot A \cdot B](/forum/latexrender/pictures/c26e6e11290ffbeb3b0284264391aa7f.png)



![[A \cdot B + \bar A \cdot \bar B+ \bar C ] \cdot \bar C \cdot A \cdot B= (\bar C \cdot A \cdot B \cdot A \cdot B) + (\bar C \cdot A \cdot B \cdot \bar A \cdot \bar B) + (\bar C \cdot A \cdot B \cdot \bar C) [A \cdot B + \bar A \cdot \bar B+ \bar C ] \cdot \bar C \cdot A \cdot B= (\bar C \cdot A \cdot B \cdot A \cdot B) + (\bar C \cdot A \cdot B \cdot \bar A \cdot \bar B) + (\bar C \cdot A \cdot B \cdot \bar C)](/forum/latexrender/pictures/b35e81b23218c38a901fcc00bc259077.png)

