Boolescher Verband/Komplementäregeln/De Morgan/1/Aufgabe/Lösung


Wir zeigen, dass komplementär zu ist. Wegen der Eindeutigkeit des Komplements in einem booleschen Verband ist dies die Behauptung. Unter Verwendung der Distributivgesetze ist einerseits

und andererseits