Harry, fahr schon mal den Wagen vor!

Informationen

Kategorie

Schw.

Tags

Brute Force, Advanced CSP

Aufgabe

Kommissar Stefan und Inspektor Harry haben die drei Verdächtigen Langfinger-Ede, Nepper-Johnny und Dietrich-Dieter vorläufig festgenommen. Inspektor Harry fasst die Fakten zusammen:
(1) Niemand außer Langfinger-Ede, Nepper-Johnny oder Dietrich-Dieter war an den Verbrechen beteiligt
(2) Wenn Langfinger-Ede schuldig ist und Nepper-Johnny unschuldig, so muss Dietrich-Dieter schuldig sein.
(3) Dietrich-Dieter arbeitet niemals allein.
(4) Langfinger-Ede arbeitet niemals mit Dietrich-Dieter zusammen.

Gibt es einen oder mehrere Verdächtige, die sicher schuldig sind und von Kommissar Stefan auf der Stelle eingesperrt werden können? Muss Kommissar Stefan einen der Verdächtigen freilassen, weil er sicher unschuldig ist?