Wahrheitstabelle < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Aufgabe:
Für (( [mm] \neg [/mm] a) [mm] \to [/mm] b) [mm] \vee [/mm] ( [mm] \neg [/mm] b) Wahrheitstabelle erstellen.
Und diese Formel mit aussagenlogischen Gesetzen vereinfachen. |
Hallo an alle,
habe da folgendes raus:
a | b | [mm] \neg [/mm] a | [mm] \neg [/mm] b | ( [mm] \neg [/mm] a) [mm] \to [/mm] b | (( [mm] \neg [/mm] a) [mm] \to [/mm] b) [mm] \vee [/mm] ( [mm] \neg [/mm] b)
----------------------------------------------------------------------------------------------
w w f f w w
w f f w w w
f w w f w w
f f w w f w
(( [mm] \neg [/mm] a) [mm] \to [/mm] b) [mm] \vee [/mm] ( [mm] \neg [/mm] b) [mm] \gdw (\neg [/mm] ( [mm] \neg [/mm] a) [mm] \vee [/mm] b) [mm] \vee [/mm] ( [mm] \neg [/mm] b)
[mm] \gdw [/mm] ( a [mm] \vee [/mm] b) [mm] \vee [/mm] ( [mm] \neg [/mm] b) [mm] \gdw [/mm] a [mm] \vee [/mm] ( b [mm] \vee [/mm] ( [mm] \neg [/mm] b)) [mm] \vee [/mm] a [mm] \vee [/mm] wahr
[mm] \Rightarrow [/mm] Tantologie
habe ich alles richtig gemacht :) ?
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hiho,
sieht gut aus 
Dein vorletzes [mm] \vee [/mm] müsste ein [mm] \gdw [/mm] sein, ansonsten passts...
MFG,
Gono.
|
|
|
|
