Hallo zusammen,

vielen Dank für eure Beiträge.

Ich hätte wohl besser direkt ne Pause gemacht. Jetzt fällt es mir wie Schuppen von den Augen. Ausgangslage war es zu beweisen: (nicht A => B) und (A => nicht B) <=> (B und nicht A) oder (A und nicht B).

Nach Umfordmung der Implikationen und Anwendung des Distributivgesetzes müssen dann nur noch die inversen Elemente gestrichen werden (diese sind zwar 0, aber durch ein ODER verknüpft. Dann sollte man das dürfen (?)). Es bleibt dann

(B und nicht A) oder (A und nicht B)

übrig.