Hallo, ich soll aussagenlogische Formeln formulieren und würde wissen, ob meine Idee richtig ist?
A, B und C sind personen.
lügen = wahr, Wahrheit sagen = falsch
- Alle Personen sagen entweder nur die Wahrheit oder lügen nur:
(⌉ A ∧ ⌉ B ∧ ⌉ C) XOR (A ∧ B ∧ C)
- Person A sagt aus: Person B lügt:
(⌉ A ∧ B) ∨ ( A ∧ ⌉ B)
- Person C sagt aus: Das stimmt nicht. Person B sagt die Wahrheit:
( ⌉ C ∧ ⌉ B) ∨ ( C ∧ B)
