b1) Distributivgesetz
b2) Kommutativgesetz
b3) Assoziativgesetz
b4) Umbenennung
Achtung: Alle Formeln lassen sich vorwärts und rückwärts lesen. Daraus ergibt sich folgende Dualität:
b1) Distributivgesetz - Ausklammern
b3) Assoziativgesetz - Klammern weglassen