3-4 正直者の奈々

ブール代数パズル

3人(奈々、麻衣、友美)がいます。

A 「Bは奈々です」
B 「Cは奈々です」
C 「Aは麻衣です」

少なくとも、奈々は真実を述べてます。
3人の名前は？

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

解答

Aが奈々と仮定すると、
「Bは奈々です」という発言と矛盾
よってAは奈々ではない

Bが奈々と仮定すると、
「Cは奈々です」という発言と矛盾
よってBは奈々ではない

Aは奈々ではない
Bは奈々ではない
より
Cが奈々

Cが奈々で、奈々は真実を述べるので
C 「Aは麻衣です」
より
Aが麻衣

Cが奈々
Aが麻衣
であることより
Bが友美

よって、
(A,B,C) = (麻衣,友美,奈々)