Grundgesetze der Mengenalgebra

Die eingeführten Mengenoperationen haben analoge Eigenschaften wie die aus der Aussagenlogik bekannten Junktoren. Es gelten folgende Grundgesetze der Mengenalgebra:

(1) Assoziativgesetze:
(5.42)
(5.43)
(2) Kommutativgesetze:
(5.44)
(5.45)
(3) Distributivgesetze:
(5.46)
(5.47)
(4) Absorptionsgesetze:
(5.48)
(5.49)
(5) Idempotenzgesetze:
(5.50)
(5.51)
(6) DE MORGANsche Regeln:
(5.52)
(5.53)
(7) Weitere Gesetze der Mengenalgebra:
(5.54)
(5.55)
(5.56)
(5.57)
(5.58)
(5.59)
(5.60)
(5.61)
(5.62)

Diese Auflistung erhält man unmittelbar aus den Grundgesetzen der Aussagenlogik, wenn man folgende Ersetzungen vornimmt: durch durch W durch M und F durch Auf diesen nicht zufälligen Zusammenhang wird im Abschnitt BOOLEsche Algebren und Schaltalgebra genauer eingegangen.