Boolescher Verband/Einführung/Textabschnitt
Erscheinungsbild
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.
- Zu jedem Element gibt es genau ein Element mit und . Es wird mit bezeichnet.
- Es ist
- Es ist und .
- Es ist
- Es ist
Die letzten beiden Regeln nennt man Regeln von de Morgan.