wahrheitstabelle bei Schefferschem Strich

Question

wie wird hier die wahrheitstabelle berechnet? ich komme leider nicht weiter

Answer 1

a	b	c	d	¬c	¬d	c∧¬d	(c∧¬d)∨¬c	a∧b∧((c∧¬d)∨¬c)
0	0	0	0	1	1	0	1	0
0	0	0	1	1	0	0	1	0
0	0	1	0	0	1	1	1	0
0	0	1	1	0	0	0	0	0
0	1	0	0	1	1	0	1	0
0	1	0	1	1	0	0	1	0
0	1	1	0	0	1	1	1	0
0	1	1	1	0	0	0	0	0
1	0	0	0	1	1	0	1	0
1	0	0	1	1	0	0	1	0
1	0	1	0	0	1	1	1	0
1	0	1	1	0	0	0	0	0
1	1	0	0	1	1	0	1	1
1	1	0	1	1	0	0	1	1
1	1	1	0	0	1	1	1	1
1	1	1	1	0	0	0	0	0

Answer 2

Hier fehlt eine zweite Aussageform (vermutlich mit Shefferstrich), deren Äquivalenz mit der gegebenen nachgewiesen werden soll. Ganz nach links legst du 4 Spalten für die Wahrheitswerte von a, b, c und d. Das ergibt 16 Zeilen:

w  w  w  w

w  w  w  f

w  w  f  w

w  f  w  w

f  w  w  w

w  w  f  f

w  f  w  f

f  w  w  f

f   f  w  w  und so weiter. Dann überträgt man die Wahrheitswerte in die beiden logischen Aussageformen. Im weiteren Verlauf erschließt man den Wahrheitswert der Klammern und schließlich jeder der beiden Aussageformen. Wenn jetzt die Wahheitswertefolgen der beiden Aussageformen identisch sind, sind die Aussageformen äquivalent.