Logikaufgabe < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 13:08 Mi 23.08.2006 | | Autor: | Rmeusbur |
| Aufgabe | Vereinfache so weit wie möglich!
( [mm] \neg [/mm] A [mm] \vee [/mm] ( [mm] \neg [/mm] ( [mm] \neg [/mm] A [mm] \vee [/mm] C ))) [mm] \wedge [/mm] ( [mm] \neg [/mm] A [mm] \vee [/mm] B ) |
Folgenden Lösungsvorschlag hätte ich anzubieten. Mich würde interessieren, was ihr davon haltet!
( [mm] \neg [/mm] A [mm] \vee [/mm] ( [mm] \neg [/mm] ( [mm] \neg [/mm] A [mm] \vee [/mm] C ))) [mm] \wedge [/mm] ( [mm] \neg [/mm] A [mm] \vee [/mm] B )
( [mm] \neg [/mm] A [mm] \vee [/mm] ( A [mm] \wedge [/mm] C )) [mm] \wedge [/mm] ( [mm] \neg [/mm] A [mm] \vee [/mm] B)
( [mm] \neg [/mm] A [mm] \vee [/mm] A ) [mm] \wedge [/mm] ( [mm] \neg [/mm] A [mm] \vee [/mm] C ) [mm] \wedge [/mm] ( [mm] \neg [/mm] A [mm] \wedge [/mm] B)
[mm] \neg [/mm] A [mm] \vee [/mm] (C [mm] \wedge [/mm] B)
Besten Dank im Voraus für eure Antworten!
Gruss Robert
|
|
| |
|
Hallo,
du hast dich da am Anfang vertan. Da fehl eine Negation:
( [mm] \neg [/mm] A [mm] \vee [/mm] ( [mm] \neg [/mm] ( [mm] \neg [/mm] A [mm] \vee [/mm] C ))) [mm] \wedge [/mm] ( [mm] \neg [/mm] A [mm] \vee [/mm] B )
( [mm] \neg [/mm] A [mm] \vee [/mm] ( A [mm] \wedge \underline{\neg} [/mm] C )) [mm] \wedge [/mm] ( [mm] \neg [/mm] A [mm] \vee [/mm] B)
[mm] \neg [/mm] A [mm] \vee [/mm] (A [mm] \wedge \neg [/mm] C) [mm] \wedge [/mm] B
[mm] \neg [/mm] A [mm] \vee [/mm] A [mm] \wedge [/mm] B [mm] \wedge \neg [/mm] C
Du kannst ja immer Wertetabellen aufstellen und vergleichen, ob sie übereinstimmen.
Gruß
Martin
|
|
|
| |
|
| Status: |
(Frage) beantwortet | | Datum: | 13:32 Mi 23.08.2006 | | Autor: | Rmeusbur |
Aber würdest auch sagen, dass bis auf den Umstand der vergessenen Notation richtig vereinfacht worden ist und somit das Ergebnis
[mm] \neg [/mm] A [mm] \vee [/mm] ( B [mm] \wedge \neg [/mm] C )
richtig ist?
|
|
|
| |
|
Ach ja, natürlich!
Man kann meine Lösung zu deiner vereinfachen:
[mm] \neg [/mm] A [mm] \vee [/mm] (A [mm] \wedge [/mm] B [mm] \wedge \neg [/mm] C)
[mm] (\neg [/mm] A [mm] \wedge [/mm] (B [mm] \wedge \neg [/mm] C)) [mm] \vee (\neg [/mm] A [mm] \wedge \neg [/mm] (B [mm] \wedge \neg [/mm] C)) [mm] \vee [/mm] (A [mm] \wedge [/mm] B [mm] \wedge \neg [/mm] C)
[mm] (\neg [/mm] A [mm] \wedge [/mm] 1) [mm] \vee [/mm] (1 [mm] \wedge [/mm] B [mm] \wedge \neg [/mm] C)
[mm] \neg [/mm] A [mm] \vee [/mm] B [mm] \wedge \neg [/mm] C
Entschuldige meinen voreiligen Schluss...
Gruß
Martin
|
|
|
|
