Mörder/Aussagenlogik/Aufgabe

wurde ermordet. Es gelten folgende Sachverhalte.

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

Wer ist der Mörder?