In einer ersten Version von Übungsblatt 5, Aufgabe 3 hieß es
"Zeigen Sie, ausschließlich durch Anwendung der Axiome (Kommutativität, Assoziativität, Absorption, Distributivität, Auslöschung) ..." usw.
Die "Auslöschung" wurde in der Vorlesung unter den Namen "Komplementregel" eingeführt - ist aber ansonsten exakt das Gleiche.
Ich habe inzwischen das Übungsblatt der Vorlesungsnotation angepasst, um Verwirrungen zu vermeiden.