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...