Propositional Parlor Puzzle

April 21, 2025 Propositional Parlor Puzzle I've recently been playing Blue Prince, which is a great time if you are a fan of puzzle games like Return of the Obra Dinn or Outer Wilds and also a fan of roguelike games like Slay the Spire. One of the game's rooms, the Parlor, features a logic puzzle that is different on each run. In this post we'll be doing some modelling and analysis of these puzzles. Some people might consider that a spoiler! In the parlor, there are three boxes, a blue box, a white box, and a black box. Each box makes some set of statements. We are also given the following rules: There will always be at least one box that makes only true statements. There will always be at least one box that makes only false statements. There is a prize in exactly one box. Here's one example of such a puzzle: Blue: You are in the parlor White: This box is empty Black: The blue box is true The blue box is making an obviously true statement—the box game always takes place in th ... Read full article.