Résolution du casse-tête du salon propositionnel du Prince Bleu avec la logique

Cet article détaille comment résoudre automatiquement une énigme logique du jeu Prince Bleu en utilisant la logique propositionnelle. L'énigme implique trois boîtes (bleue, blanche, noire), chacune faisant des affirmations, et des règles stipulant qu'au moins une boîte est entièrement vraie, au moins une est entièrement fausse, et le prix se trouve dans exactement une boîte. L'auteur modèle le problème en logique propositionnelle, utilise une approche de force brute pour trouver toutes les affectations satisfaisantes et détermine ainsi l'emplacement du prix. L'article inclut une implémentation en JavaScript et discute de l'optimisation du code.