Mörder/Aussagenlogik/Aufgabe/Lösung

Aus (6), (3) und (4) folgt, dass ${}A$ und ${}B$ beide nicht der Mörder sind, denn sonst wären beide der Mörder. Nach (5) ist somit auch ${}D$ nicht der Mörder. Wegen (1) muss also ${}C$ der Mörder sein.

((2) wird nicht verwendet.)