Dare l'espressione in forma canonica congiuntiva equivalente

[gaten]

Dare l'espressione in forma canonica congiuntiva equivalente all'espressione:

$(x1+x2) * bar((x0*x1*bar(x2)))$

[apatriarca]

Non hai proprio alcuna idea di come risolvere questo esercizio?

[gaten]

Certo allora io ho iniziato nel procedere in questo modo:

$(x1+x3)*( (bar(x0)+bar(x1))*x2$

Dopodichè adesso devo far si che ogni maxtermine abbia tutte le variabili quindi aggiungo, dove mancano, le variabili.
$[(x1+x3)+(x0*bar(x0))+(x2*bar(x2))]$ ...
E' giusto procedere così?

[apatriarca]

Ho cancellato il mio precedente messaggio perché c'erano un po' di errori. In ogni caso credo sia più agevole cercare di utilizzare metodi più meccanici per questo genere di esercizi. Non mi sembra che il tuo procedimento sia molto comodo e non mi sembra immediato capire come completare il tuo procedimento. Che cosa faresti una volta che hai aggiunto quelle variabili?

[gaten]

Credo di aver risolto l'unica cosa che non riesco a capire è:

$[ (x1+x3) + (x0*bar(x0))+(x2*bar(x2)) ]=? $ (questo passaggio lo faccio per aggiungere le due variabili mancanti $x0$ e $x2$ e posso farlo poichè una variabile per il suo negato è uguale a 0, quindi qui non altero il risultato.
Non riesco a capire però a quanto è uguale. Ho trovato un esempio con la stessa espressione e il riusultato è:

$( x1 + x3 + x0 + x2 ) * ( x1 + x3 + bar(x0) + x2 ) * ( x1 + x3 + x0 + bar(x2) ) * ( x1 + x3 + bar(x0) + bar(x2) ) $
Non riesco a capire. Qualcuno può chiarirmi questo passaggio?