Zum Inhalt springen

Mörder/Aussagenlogik/Aufgabe

Aus Wikiversity

E wurde ermordet. Es gelten folgende Sachverhalte.

  1. Der Mörder ist A oder B oder C oder D.
  2. Wenn C der Mörder ist, dann ist D nicht der Mörder oder A ist der Mörder.
  3. A,B,C,D sind alle verschieden.
  4. Es gibt genau einen Mörder.
  5. Wenn A nicht der Mörder ist, dann ist D nicht der Mörder.
  6. A ist genau dann der Mörder, wenn B der Mörder ist.

Wer ist der Mörder?