Das ginge auch noch durch als Rätsel des Tages für Fortgeschrittene. Weiss hier jemand die Lösung? Nein, Urs Paul Teufeler darf nicht mitmachen, denn er ist familiär verbandelt mit dem ursprünglichen Aufgabensteller...

Theorie der Informatik, Uebung 2, Uni Basel, 14.4.04, Prädikatenkalkül, Grammatiken, Chomsky, EBNF
Aufgabe 2 - Konjunktive Normalform (3 Punkte) Der Bio-Bauer Hanspeter Basler aus dem Baselbiet besitzt einen Hund, ein Lamm und ein Feld mit Salatköpfen, ausserdem hat er eine Scheune. Nun ist es dem armen Kerl schon mehrfach passiert, dass entweder das Lamm den Salat oder der Hund das Lamm gefressen hat. Dies ist immer dann passiert, wenn er nicht dabei war. Er hat Sie gebeten ihm mit einer kleinen Hilfestellung zu unterstützen. Er möchte von Ihnen, dass Sie ihm einen möglichst einfachen logischen Ausdruck angeben, der ihm angibt, ob eine Konstellation (Hund in der Scheune, Bauer auf dem Feld etc) als gefährlich angesehen werden muss. Erarbeiten Sie die Konjunktive Normalform des Problems und vereinfachen Sie den Ausdruck anschliessend. Verwenden Sie in dem Ausdruck die Buchstaben B(auer), H(und), L(amm) und S(alat) als Variablen. Eine Konstellation gilt als gefährlich, wenn der gesamte Audruck wahr wird.

Informatik als Lebenshilfe! Das gilt doch für viele Konstellationen im Leben: "Eine Konstellation gilt als gefährlich, wenn der gesamte Audruck wahr wird."