Fragenstellung:
Der Geheimagent James steht vor einer schwierigen Mission in Asien. Er darf jedoch Verstärkung mitneh- men.
Nicht alle von James Kollegen und Kolleginnen können bei dieser Mission zusammenarbeiten oder sind von ihrem Hintergrund geeignet. Nun überlegt er, wer ihn begleiten soll:
-
a) Es hilft nichts, wenn er Anna einlädt und Bob nicht.
-
b) Anna würde dann und nur dann mitmachen wollen, wenn auch Carl an der Mission teilnimmt.
-
c) Es kommt entweder Bob oder Carl, d. h. wenn einer von beiden überhaupt teilnimmt, dann in jedem Falle nur einer von beiden.
Wer wird James bei der Mission begleiten?
Hinweis: Zuerst die Elementaraussagen formulieren, z.B. A: Anna begleitet James. Danach 3 Bedingungen mit Hilfe der Junktoren als logische Formel aufschreiben und überprüfen wann die Formel wahr ist.
-----------------
Ich habe bereits die einzelnen (a, b und c) als Logische Formeln notiert.
a) (A → B)
b) (A ↔ C)
c) (B ⊗ C)
(A → B)∧(A ↔ C)∧(B ⊗ C)
Nun ist von der Fragenstellung gewollt es zu vereinfachen.. dort fängt auch mein Problem an.
Mein Ansatz: (¬A∨B)∧[(¬A∨C)∧(¬C∨A)]∧¬[(¬B∨C)∧(¬C∨B)]
Wie geht es nun weiter? Habe bereits in der Lektüre "Mathematik für Informatiker I" nachgelesen und leider nichts darüber gefunden..
Danke im Voraus!