Neu in meiner Bibliothek

Musste mal wieder so einen obligatorischen Kundenbindungs-5-Euro Gutschein loswerden und habe mir dieses Pflichtwerk gekauft. Zur Strafe verstaubt es wahrscheinlich die nächsten paar Jahre im Regal.

Obwohl die Übungsaufgabe in der Einführung ja noch ganz leicht und nachvollziehbar ist, jedenfalls ohne Eiscreme:

Wenn man kein Bier zu einer Mahlzeit trinkt, dann gibt’s immer Fisch. Wenn schon Fisch und Bier, dann keinen Wein dazu. Wenn Wein oder kein Bier, dann gibt es keinen Fisch.

¬B ⇒ F
F ∧ B ⇒ ¬ W
W ∨ ¬ B ⇒ ¬ F

Lösung: Man sollte eigentlich möglichst immer Bier zum Essen trinken und auf gar keinen Fall auch noch Wein zum Fisch.

B ∧ (¬ F ∨ ¬ W )