Boolescher Verband/Komplementäregeln/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Komplementärregeln in einem booleschen Verband

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