Zum Inhalt springen

Boolescher Verband/Einführung/Textabschnitt

Aus Wikiversity


Ein Verband heißt boolesch, wenn er komplementär und distributiv ist.

Statt boolescher Verband sagt man auch boolesche Algebra. Ein boolescher Verband ist insbesondere ein kommutativer Halbring. Der Teilmengenverband auf einer beliebigen Menge ist ein boolescher Verband, die Komplementarität ist durch die Komplementbildung auf Teilmengen gegeben, daher der Name. Von diesem Hauptbeispiel her sind auch die folgenden Regeln vertraut.



In einem booleschen Verband gelten die folgenden Rechenregeln.

  1. Zu jedem Element gibt es genau ein Element mit und . Es wird mit bezeichnet.
  2. Es ist
  3. Es ist und .
  4. Es ist
  5. Es ist
  1. Es seien und Komplemente von . Dann ist

    Da ebenso gilt, folgt .

  2. Siehe Aufgabe.
  3. Siehe Aufgabe.
  4. Siehe Aufgabe.
  5. Siehe Aufgabe.


Die letzten beiden Regeln nennt man Regeln von de Morgan.