Matematica discreta - si può semplificare di piu di cosi ?

[giogiomogio]

Data la seguente espressione:
$bar(A)B+Cbar(D)+Abar(D)+CB+Abar(B)+bar(C)D+AD(A+B)$
devo provare a semplificarla il più possibile ... io sono arrivato fino a qui e confrontato con la tabella della verità risulta corretta ma, il problema o meglio la mia domanda è: si puo semplificare di piu di così ?
vi mostro fino a dove sono arrivato io:
$bar(A)B+Cbar(D)+Abar(D)+CB+Abar(B)+bar(C)D+AD(A+B)$
$bar(A)B+CB+Cbar(D)+Abar(D)+Abar(B)+bar(C)D+AD(A+B)$
$bar(A)B+CB+Cbar(D)+Abar(D)+Abar(B)+bar(C)D+AD$
$B(bar(A)+C)bar(D)(A+C)+Abar(B)+D(bar(C)+A)$
più di cosi si potrà semplificare?
voi che dite?

Grazie

[theras]

Piccola domanda:
stai studiando in un I.T.I.S.?
Nel caso pazienta un pò:
il settimo cavalleggeri(in questo contesto chiamato pure Mappe di Karnaugh..)
dovrebbe esser vicino per giungerti in soccorso!
Comunque,per quel pò che vedo,
non sei un grande amante di proprietà di assorbimento($A+A*B=A$) e d'idempotenza($A*A=A+A=A$):
peccato,perchè non sono per nulla male..
Tieni pure conto,che,ad ex,$A*overline(D)+A*D=A*(overline(D)+D)=A*1=A$:
saluti dal web.