alt.hn

4/21/2025 at 6:46:31 PM

Propositional Parlor Puzzle

https://buttondown.com/jaffray/archive/propositional-parlor-puzzle/

by foldU

4/21/2025 at 7:20:42 PM

There's a game available on STEAM called "Mimic Logic" which consists of these kinds of puzzles.

by Supermancho

4/22/2025 at 7:33:47 PM

Interesting to see, I was wondering how to encode this puzzle for a logic solver.

One nit, this doesn't seem to handle the case where a box can have both true and false statements. As per the rules only one box needs to have only false and one only true statements, the third can have both.

Maybe this is also in the next part.

by phi-go

4/22/2025 at 9:08:56 AM

I just played this at the weekend - Blue Prince on the PS5.

by ddmf