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

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

$(a\wedge \mathrm{\neg }b)\wedge \mathrm{\neg }c\iff a\wedge \mathrm{\neg }(b\wedge \mathrm{\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	$\mathrm{\neg }a$	$\mathrm{\neg }b$	$\mathrm{\neg }c$		$a\wedge \mathrm{\neg }b$	$(a\wedge \mathrm{\neg }b)\wedge \mathrm{\neg }c)$		$\mathrm{\neg }(b\wedge \mathrm{\neg }c)$	$a\wedge \mathrm{\neg }(b\wedge \mathrm{\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!