Hallo,

ich verstehe folgende Aufgabe nicht - bzw. dessen Lösung nicht :)

Wahr oder falsch?

"Wenn A wahr und B falsch ist, dann ist: (A ^ (¬A)) <=> ((A => B) ^ ¬B) eine wahre Aussage."

Die Lösung ist "wahr"

Wenn ich die Wahrheitstafel erstelle, stimmen die beiden aber nicht überein. Also liegt keine äquivalenz vor. Deswegen wäre die Lösung für mich "falsch".

A     B     ¬A     ¬B     (A ^ (¬A))     A => B     ((A => B) ^ ¬B)              

w    w       f         f           f                   w                   f

w    f         f        w          f                   f                    f

f     w        w       f           f                   w                   f

f      f         w      w          f                   w                  w

Was mach ich hier falsch? Danke für eure Hilfe.

Gruss