Wo ist mein Fehler in der Äquivalenzumformung?
Hallo zusammen,
wir sollten den obigen Ausdruck, der wohl richtig sein soll, mit Hilfe einer Äquivalenzumformung beweisen. Ich komm leider nicht auf das richtige Ergebnis, kann mir jemand Helfen wo mein Fehler ist?
Vielen Dank und liebe Grüße
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.
Vielen Dank für die schnelle und hilfreiche Antwort!