In Chicago ist ein Mord geschehen. Harry Hillmann wurde getötet. Drei bekannte Gangster werden verhaftet. Al, Rod und Clyde. Einer von den Dreien ist der Täter. Außerdem ist bekannt, dass keiner von ihnen drei aufeinander folgende Sätze sagen kann, ohne zu lügen. Folgendes sagen die drei aus:
Al: Rod hat Hillmann umgebracht.
Ich war noch nie in Chicago.
Ich bin unschuldig.
Rod: Clyde ist unschuldig.
Alles, was Al sagt, ist gelogen.
Ich hab's nicht getan.
Clyde: Ich hab ihn nicht umgelegt.
Al lügt, wenn er sagt, er wäre nie in Chicago gewesen.
Rod lügt, wenn er sagt, alles wäre gelogen, was Al sagt.
Versuche logisch herzuleiten, wer der Täter ist.
Das Problem lässt sich recht effizient mittels klassischer Wahrheitstafeln lösen. Für jeden der drei möglichen Täter X wird eine Wahrheitstafel aufgestellt, die davon ausgeht, dass X der Täter ist. Ergibt sich dabei eine Spalte mit lauter wahren Aussagen, kann diese Hypothese verworfen werden, da die Prämisse ("dass keiner von ihnen drei aufeinander folgende Sätze sagen kann") verletzt wurde. Und so sehen die Wahrheitstafeln aus: