![](https://images.gutefrage.net/media/default/user/11_nmmslarge.png?v=1551279448000)
![](https://images.gutefrage.net/media/default/user/11_nmmslarge.png?v=1551279448000)
Antwort
Ich habe vergessen bei A^-B das B zu negieren.
--> Falsch umgeformt... :D
Nun ist es richtig und eine Tautologie ist gegeben.
P.S: Vorher stand bei meiner Umformung A^B anstatt A^-B
P.P.S: ChatGPT und Gemini sind erstaunlich schlecht beim Fehlerfinden...