부울 대수로 풀어보는 미궁의 고블린 수수께끼

이 글에서는 영화 '라비린스'에 나오는 고전적인 기사와 악당 논리 퍼즐을 부울 대수를 이용하여 푸는 방법을 보여줍니다. 저자는 A를 답으로, Q를 질문에 대한 정답으로, G를 고블린이 거짓말을 하는지 여부로 나타내어 문제를 모델링하고, A = G⊕Q를 유도합니다. 다른 고블린의 거짓말 여부를 질문에 교묘하게 포함시킴으로써 방정식이 단순화되고, 해결책이 드러납니다. 저자는 형식화된 접근 방식이 단계를 명확하게 해주고, 형식 시스템을 추론 도구로 사용하는 유용성을 강조합니다.