Wo ist mein Fehler in der Äquivalenzumformung?

1 Antwort

Vom Beitragsersteller als hilfreich ausgezeichnet

Ich verwende B für Nicht-B, da der GF Editor kein Überstreichen her gibt und ich zu faul bin Latex anzuschmeißen.

In der vierten Zeile fliegen alle Terme ausser AABC weg. Denn ACCB = BCAB = BBCC = {}, da jeweils der Schnitt von einer Menge mit ihrem Komplement vorkommt. Damit bleibt nur AABC = ABC übrig.


Vanessa26555 
Beitragsersteller
 08.11.2024, 16:04

Vielen Dank für die schnelle und hilfreiche Antwort!