Dowód równości metodą Algebry Boole'a: przekształcenia krok po kroku

Witam.
Mam problem przy rozwiązaniu zadania:
"Udowodnić równość metodą przekształceń algebraicznych."
Chodzi tu oto aby przy zastosowaniu Algebry Boole'a, praw, twierdzen i funkcji udowodnic ze lewa strona rowna sie prawej L=P
Czyli lewa strone nalezy tak przeksztalcioc aby rownala sie stronie prawej.

Duza literka np. A,B... oznacza zaprzeczenie litery a,b...
Czyli:
A- nie a
B- nie b

1. aB+ac+bc=aB+bc
2. (a+b)(A+c)(b+c)=(a+b)(A+c)
3. ab+AB+bcd=ab+AB+Acd
4. Ad(B+c)+(b+C)AD+(B+c)=(AD+B+c)(Ad+b+c)
5. bc+abd+aC=bc+aC

Czy ktos potrafi to rozwiązać?

Pisanie postu pod postem.
Należy używać przycisku ZMIEŃ.
Scaliłem dwa posty. [h]

poprzekształcaj lewą stronę tak by dostać pełne wyrażenia, a następnie korzystając z boole'a zminimalizuj.
przykładowo 1:
L = aB+ac+bc = aBc+aBC+abc+aBc + abc + Abc = (pozbywamy się takich samych) = aBc + aBC + abc + Abc = (minimalizujemy 1 z 2 i 3 z 4) = aB(c+C) + bc(a+A) = aB + bc = P
resztę myślę że zrobisz w podobny sposób.

ps. proponowałbym stworzyć siatki Karnaugha i zobaczyć jakie grupy są stworzone dla prawej i lewej strony, wtedy ładnie wszystko widać.

Wielkie dzieki.
Juz sobie poradzilem a le zostal mi jeszcze jeden przyklad ktorego nie potrafie rozwiacac.
O to on:

(a+b)[x(a+y)+X(a+c)+(y+z)Za]=a+b(xy+Xc)

Prosze o pomoc.