Aussagen in Boolschen Term < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Die Unterhändler von 6 Staaten (A,B,C,D,E,F) treffen sich zu Verhandlungen, mit dem Ziel, dass möglichst viele Staaten abrüsten.
Es wird bekannt:
(1) B und C wollen abrüsten, wenn auch A dazu bereit ist.
(2) A rüstet genau dann ab, wenn sich auch F dazu bereit erklärt.
(3) D und E wollen nur dann abrüsten, wenn B nicht abrüstet.
(4) Entweder rüstet C nicht ab, dafür aber D und F, oder umgekehrt.
Welche Staaten rüsten ab? |
Tipp vom Prof. zur Aufgabe:
1. Text in Aussagenlogische Terme, dann in boolsche Terme umwandeln
2. Alle Terme multiplizieren, da sie gleichzeitig stattfinden müssen.
3. So vereinfachen, dass letztendlich der Wert 1herauskommt.
Mein Ansatz war also folgender:
1. in Aussagenlogik:
(1) [mm] A\Rightarrow (B\wedge [/mm] C)
(2) F [mm] \gdw [/mm] A (Äquivalenz, hier wegen ''genau dann, wenn'')
(3) [mm] \neg B\Rightarrow(D\wedge [/mm] E)
(4) [mm] (\neg C\wedge (D\wedge F)\vee (C\wedge \neg (D\wedge [/mm] F)
2. in Boolschen Term:
(1) [mm] \neg [/mm] a+(b*c)
(2) [mm] (\neg [/mm] f [mm] +a)*(\neg [/mm] a+f)
(3) [mm] \neg [/mm] b+(d*e)
(4) [mm] (\neg [/mm] c*(d*f)) + [mm] (c*(\neg d*\neg [/mm] f)).
Jetzt komme ich beim multiplizieren und vereinfachen der Terme einfach nicht auf das Ergebnis 1. Deshalb denke ich, dass in den Termen irgendwo ein Fehler sein muss. Würde mich sehr freuen, wenn mir jemand weiterhelfen könnte.
Ich hoffe ich habe das richtige Forum gewählt :)
Vielen Dank im Vorraus
Grüße
Jimbo
Ich habe diese Frage auch in folgenden Foren auf anderen Internetseiten gestellt:
http://www.matheplanet.com/matheplanet/nuke/html/viewtopic.php?topic=218252
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 19:20 Mo 25.04.2016 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
