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

Entscheiden Sie mit Hilfe einer Wahrheitstafel, ob die folgende Äquivalenz richtig ist. $\rightarrow$ und $\leftrightarrow$ bezeichnen Sub- bzw. Bijunktion.

$a\wedge (b\vee c)\Leftrightarrow (a\wedge b)\vee (a\wedge 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ösung(svorschlag)

von --Strohhalm (Diskussion) 00:46, 28. Okt. 2018 (CEST)

${\begin{array}{ccc|cc|ccc|c}a&b&c&A=b\vee c&B=a\wedge A&C=a\wedge b&D=a\wedge c&E=C\vee D&B\Leftrightarrow E\\\hline 0&0&0&0&0&0&0&0&1\\0&0&1&1&0&0&0&0&1\\0&1&0&1&0&0&0&0&1\\0&1&1&1&0&0&0&0&1\\1&0&0&0&0&0&0&0&1\\1&0&1&1&1&0&1&1&1\\1&1&0&1&1&1&0&1&1\\1&1&1&1&1&1&1&1&1\\\end{array}}$

1 = w ("wahr") 0 = f ("falsch")