Wahrheitstabelle erstellen für -(A impliziert B) und (A und -B)

Question

Wie müsste meine Wahrheitstabelle aussehen um

zu beweisen, dass -(A impliziert B) zu

(A und -B)äquivalent ist?

Answer 1

a	b	a→b	¬(a→b)	a∧¬b
f	f	w	f	f
f	w	w	f	f
w	f	f	w	w
w	w	w	f	f

Also  ¬(a→b)  ⇔  a∧¬b

Gruß Wolfgang

Answer 2

Sie müsste in beiden Spalten die selbe Belegung haben.

Knackpunkt: Du müsstest als Grundwissen die Belegung von (A impliziert B) kennen.