4-1 暗い森

ブール代数パズル

この暗い森には、
悪霊、狼、妖精、ユニコーン
のどれかがいます(4つともいるかもしれません)

それについて、4人の猟師が次のように証言してます。
猟師1 「悪霊も狼もいます」
猟師2 「悪霊か妖精がいます」
猟師3 「狼か妖精がいます」
猟師4 「妖精かユニコーンがいません」
1人のみの証言が偽です。
この森にいると言えるのは何？

論理パズル「出しっこ問題」傑作選 を参考にさせていただきました

解答

猟師1の証言が偽と仮定すると、
○が存在する、×しないとして

悪霊  狼  妖精  ユニコーン
×    ×  ○    ×
となる。

■■■■■■■■■■■■■■■■■■■■■■
猟師2の証言が偽と仮定すると、
猟師1の証言も偽となるので矛盾
よって、猟師2の証言は真

■■■■■■■■■■■■■■■■■■■■■■
猟師3の証言が偽と仮定すると、
猟師1の証言も偽となるので矛盾
よって、猟師3の証言は真

■■■■■■■■■■■■■■■■■■■■■■
猟師4の証言が偽と仮定すると、
○が存在する、×しないとして

悪霊  狼  妖精  ユニコーン
○    ○  ○    ○

■■■■■■■■■■■■■■■■■■■■■■
以上により、この森にいると言えるのは
妖精