Semplificare espressioni booleane

[Marix2]

Ciao a tutti!!
Sto impazzendo!
Non riesco a semplificare le espressioni booleane.
Devo usare gli assiomi e i teoremi dell'algebra di boole ma non so proprio da dove cominciare!

Qualcuno mi spiega passo passo come devo fare?
Per esempio ho l'espressione
y= a * b + a * !b * c

cosa devo fare??

Per favore aiutatemi!

[ballo1]

La cosa più semplice da fare con l'algebra di Boole è prendere penna alla mano e segnarsi tutte le proprietà ed equivalenze su un foglio al quale attingere, inizialmente, per semplificare le espressioni. In questo caso puoi partire raccogliendo la $a$, quindi avresti $y=a(b+\bar b *c)$. Da qui considera la proprietà di assorbimento che è $x +\bar x*y=x+y$ e applicala al nostro esempio; il risultato dovrebbe essere la minima forma semplificata che può assumere l'espressione di partenza

[Marix2]

grazie mille, mi viene. Però non ho capito perchè $x+\bar x * y= x + y$
tu hai detto per l'assorbimento ma non riesco a capire dato che l'assorbimento è $x+(x*y) = x$

[ballo1]

ci sono due proprietà per l'assorbimento:
1) la prima che ti ho detto io $x+\bar x*y=x+y$
2)la seconda che hai detto tu, la quale racchiude un'altra proprietà racchiusa nel secondo passaggio: $x+x*y=x+x=x$

edit: ci sono 3 proprietà dell'assorbimento, mi correggo:
3) $x*y+y*z+\bar x*z=x*y+\bar x*z$