A= Anna sagt die Wahrheit
B=Britta sagt die Wahrheit
C= Christian sagt die Wahrheit
A→Entw. B oder C (für "entweder, oder" hat die Logik ein Zeichen)
B→C
C→A∧B
Für die Gesamtaussage [A→Entw. B oder C]∧[B→C]∧[C→A∧B] eine Wahrheitswertetabelle erstellen.
Alternative:Die Annahme B führt zum Widerspruch. Daher gilt ¬B und daraus folgt ¬C, was bedeutet ¬A∨¬B. Da ¬B bereits gilt, gilt C.