Aufgaben: Textaufgabe mittels aussagenlogischer Formeln vereinfachen

Aufgaben: Textaufgabe mittels aussagenlogischer Formeln vereinfachen

Aufgabe 1

Aufgabe

 Aufg. 52: Textaufgabe lösen mit Hilfe der Aussagenlogik

Frau Müller sagt zu ihrem Mann: "Den ganzen Sonntag hockst du auf dem Sofa, trinkst Bier und stopfst dir Kartoffelchips in den Schlund! Du solltest mal joggen!"

Ihr Gatte erwidert: "Ich verspreche dir für nächsten Sonntag Folgendes:

• Wenn ich jogge, werde ich sogar auf Bier oder auf Chips verzichten.

• Wenn ich keine Chips esse, trinke ich kein Bier oder ich jogge nicht.

• Wenn ich aber jogge, brauche ich unbedingt hinterher ein Bier!

• Allerdings: Auch falls ich nicht jogge, werde ich auf jeden Fall Bier oder Chips zu mir nehmen."

Falls Herr Müller seine Versprechen einhält, wie könnten seine Aktivitäten am nächsten Sonntag aussehen?

Lösung$(J\rightarrow (\neg B\lor \neg C))$ $(\neg C\rightarrow (\neg B\lor \neg J))$ $(J\rightarrow B)$ $(\neg J\rightarrow (B\lor C))$ $(J\rightarrow (\neg B\lor \neg C))\;\land \;(\neg C\rightarrow (\neg B\lor \neg J))\;\land \;(J\rightarrow B)\;\land \;(\neg J\rightarrow (B\lor C))$ $\equiv \quad ...$ $\equiv \quad \neg J\land (B\lor C)$

Aufgabe 2

Aufgabe

 Aufg. 53: Textaufgabe lösen mit Hilfe der Aussagenlogik

Wie bei jeder Feier spricht Herr Fröhlich kräftig dem Alkohol zu. Seine Frau sagt nach der Rückkehr nach Hause vorwurfsvoll: "Immer trinkst du so viel durcheinander, und am nächsten Morgen ist dir elend!"

Darauf antwortet ihr Mann: "Ich verspreche dir für die nächste Feier Folgendes:

• Bier werde ich nur trinken, wenn ich auch ein Gläschen Schnaps oder Wein zu mir nehme.

• Wenn ich aber Wein trinke, brauche ich auch einen Schnaps oder ein Bier dazu.

• Wenn ich keinen Schnaps trinke, werde ich von Wein und Bier höchstens eine Sorte zu mir nehmen.

• Aber ich werde nicht auf alle drei Sorten Getränk verzichten."

Falls Herr Fröhlich sich an seine Aussagen hält, wie könnte sein Alkoholkonsum bei der nächsten Feier aussehen?

Lösung$(B\rightarrow (S\lor W))$ $(W\rightarrow (S\lor B))$ $(\neg S\rightarrow \neg (W\land B))$ $(S\lor B\lor W)$ $(B\rightarrow (S\lor W))\;\land \;(W\rightarrow (S\lor B))\;\land \;(\neg S\rightarrow \neg (W\land B))\;\land \;(S\lor B\lor W)$ $\equiv \quad ...$ $\equiv \quad S$ $S$