Lösung des Propositionalen Salon-Rätsels von Blue Prince mit Logik

Dieser Artikel beschreibt, wie man ein Logikrätsel aus dem Spiel Blue Prince automatisch mit Hilfe der Aussagenlogik löst. Das Rätsel beinhaltet drei Boxen (blau, weiß, schwarz), die jeweils Aussagen treffen, und Regeln, die besagen, dass mindestens eine Box vollständig wahr ist, mindestens eine vollständig falsch ist und der Preis sich in genau einer Box befindet. Der Autor modelliert das Problem in der Aussagenlogik, verwendet einen Brute-Force-Ansatz, um alle erfüllenden Zuweisungen zu finden, und bestimmt so den Ort des Preises. Der Artikel enthält eine Implementierung in JavaScript und diskutiert die Optimierung des Codes.