Resolvendo o Enigma dos Goblins do Labirinto com Álgebra Booleana

Este artigo demonstra como resolver o clássico enigma de lógica dos Cavaleiros e Vigaristas do filme *Labirinto* usando álgebra booleana. O autor modela o problema, usando A para a resposta, Q para a resposta correta à pergunta e G para se o goblin está mentindo, derivando A = G⊕Q. Ao elaborar uma pergunta inteligente para incorporar o status de mentira do outro goblin, a equação simplifica, revelando a solução. O autor argumenta que a abordagem formalizada esclarece os passos e destaca a utilidade dos sistemas formais como ferramentas de raciocínio.