Behauptung mit Hilfe der booleschen Algebra zeigen oder wiederlegen

Question

Aufgabe:

a)      Sei $B=(T,+, \cdot)$ eine boolesche Algebra, dann gilt $\forall a, b \in T: a+(a \cdot b)=a$

b)     Sei $B=(T,+, \cdot)$ eine boolesche Algebra, dann gilt $\forall a, b \in T: a \cdot(\bar{a}+b)=\bar{a} \cdot b$

Problem/Ansatz:

Hallo, hatt jemand eine Lösung für die beiden Aufgaben. Wenn ja bitte mit den verwendeten Gesetzen.