\( \overline{A \cap(\overline{A \cap \bar{B}}) \cup B} \)
De Morgan beim mittleren Terme und
doppeltes Komplement löschen
= \( \overline{A \cap(\overline{A} \cup {B}) \cup B} \)
Distributiv
= \( \overline{(A \cap \overline{A}) \cup {(A \cap B}) \cup B} \)
leere Menge bei Vereinigung löschen
= \( \overline{ {(A \cap B}) \cup B} \)
Schnittmenge ist Teilmenge von B,
also bei Vereinigung löschen
= \( \overline{ B} \)