3-3 もっとも美しいのは誰

ブール代数パズル

3人の女神が次のように述べています。
アテナ       「もっとも美しいのはアフロディアではない」
アフロディア 「もっとも美しいのはヘラではない」
ヘラ         「私がもっとも美しい」
もっとも美しい女神のみが真実を述べています。それは誰？

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

解答

アテナが、もっとも美しいをA
アフロディアが、もっとも美しいをB
ヘラが、もっとも美しいをC
とおく

C=1と仮定すると、
A=1が成立するので、矛盾
よってC=0

A=1と仮定すると、
B=1が成立するので、矛盾
よってA=0

よって(A,B,C)=(0,1,0)

よって、
もっとも美しいのはアフロディア