TU Wien:Algebra und Diskrete Mathematik VU (diverse)/Übungen 2023W/Beispiel 81

Entscheiden Sie mit Hilfe einer Wahrheitstafel, ob die folgende Äquivalenz richtig ist.

$(a\wedge \neg b)\wedge \neg c\Leftrightarrow a\wedge \neg (b\wedge \neg c)$

Dieses Beispiel hat einen unbekannten Lösungsstatus. Bitte editiere diese Seite und schreibe den dir bekannten Status ins Beispiel. Die möglichen Werte sind hier: Vorlage:Beispiel dokumentiert. Führe folgende Änderung durch:

{{Beispiel|1=
Angabetext
}}

oder

{{Beispiel|
Angabetext
}}

zu (im Falle einer korrekten, unverifizierten Lösung "solved". Auch möglich "unsolved", "wrong", "verified_by_tutor". Alle möglichen Werte sind hier: Vorlage:Beispiel dokumentiert.)

{{Beispiel|status=solved|1=
Angabetext
}}

Lösungsvorschlag von Hochi

a	b	c	$\neg a$	$\neg b$	$\neg c$		$a\wedge \neg b$	$(a\wedge \neg b)\wedge \neg c)$		$\neg (b\wedge \neg c)$	$a\wedge \neg (b\wedge \neg c)$
1	1	1	0	0	0		0	0		1	1
1	1	0	0	0	1		0	0		0	0
1	0	1	0	1	0		1	0		1	1
1	0	0	0	1	1		1	1		1	1
0	1	1	1	0	0		0	0		1	0
0	1	0	1	0	1		0	0		0	0
0	0	1	1	1	0		0	0		1	0
0	0	0	1	1	1		0	0		1	0

Wahrheitstafel beweist, dass Äquivalenz nicht gegeben ist!