Resolvendo o Quebra-cabeça do Salão Proposicional do Príncipe Azul com Lógica

Este artigo detalha como resolver automaticamente um quebra-cabeça lógico do jogo Príncipe Azul usando lógica proposicional. O quebra-cabeça envolve três caixas (azul, branca, preta), cada uma fazendo afirmações, e regras afirmando que pelo menos uma caixa é totalmente verdadeira, pelo menos uma é totalmente falsa e o prêmio está em exatamente uma caixa. O autor modela o problema em lógica proposicional, usa uma abordagem de força bruta para encontrar todas as atribuições satisfatórias e, assim, determina a localização do prêmio. O artigo inclui uma implementação em JavaScript e discute a otimização do código.