Aufgabe:
Auf der Insel der Ritter und Knappen ist jeder Einwohner entweder ein Ritter oder ein Knappe. Jeder Einwohner kennt seinen Status, und den Status von allen anderen Einwohnern. Es ist wichtig zu wissen, dass Ritter immer die Wahrheit sagen, und dass Knappen immer lügen. Sie werden auf Einwohner der Insel treffen und Ihre Aufgabe ist bei jedem zu entscheiden, ob er ein Ritter oder ein Knappe ist.
Sie treffen Gildas, Ergard und Telones auf der Insel. Gildas sagt „Seien Sie vorsichtig, wir sind nicht alle drei Ritter.“ Ergard sagt: „Wir sind auch nicht alle drei Knappen.“ Telones sagt „Hören Sie nicht auf sie, ich bin der einzige Ritter.“ Was sind sie?
Problem:
Ich weiss nicht, wie ich diese Aufgabe formal (mit Boolescher Alegbra) lösen kann.