Das lässt sich unmittelbar aus den Eigenschaften herleiten:
http://de.wikipedia.org/wiki/Boolesche_Algebra#Definition
Die Boolesche Algebra mit 0, 1 und den Operationen UND und ODER ist
außerdem ein Ring, genau wie die Reellen Zahlen mit + und *. Es sind
also die selben Umformungen zulässig.
a*(a+b) kann man zB. einfach zu a*a+a*b umformen, weil die
Distributivität in einem Ring gilt. Nun ist es nicht mehr weit zu
zeigen, dass a*b=1 => a*a=1 gelten muss, und dann kann man a*b
weglassen.
Die binomischen Formeln gelten übrigens auch (wie in jedem Ring), also
(a+b)^2:=(a+b)(a+b)=a*a+(a*b)+(a*b)+b*b (gibt ja keine 2, daher kein 2ab
und das :=). Nur nutzt das bei 2 Elementen nicht so arg viel, da sich
die Sache durch die zusätzlichen Eigenschaften der Booleschen Algebra zu
a+b vereinfachen lässt.
Die Langweilermethode das über Wahrheitstabellen zu zeigen geht
natürlich auch ;).