2005-10-30 (Sun) [長年日記]

_ なんだか呼ばれてるみたいだ

そんなこと言われても私だって知りません(笑)ので、検算として表を作ってみましょう。

最初の質問の表

A に質問する最初の部分については

ACCは乱かと聞かれたら
どう答えたいかyes=dayes=ja
no ja da
yes da ja
yes da ja
no ja da

ですから、後半は

ACdaと答えるかと聞かれたら
どう答えたいか実際に何と言うか
yes=dayes=jayes=dayes=ja
no yes ja ja
yes no da da
no yes ja ja
yes no da da

となります。ですから、ja なら C が非乱、da なら B が非乱です。

仮に da だったとして、次の質問を見てみましょう。

二つめの質問の表

A が最初の質問に da と答えた場合には、B が乱であることはないので、 B に同じ質問をしてみます。このとき、 ABC の組み合わせは真偽乱、偽真乱、乱真偽、乱偽真のいずれかです。

ABC Cは乱かと聞かれたら daと答えるかと聞かれたら
どう答えたいかyes=dayes=jaどう答えたいか実際に何と言うか
yes=dayes=ja yes=da yes=ja
no ja da yes no da da
yes da ja yes no da da
no ja da no yes ja ja
yes da ja no yes ja ja

こうして見ると、たしかに da なら C は乱なので A と B が非乱ですし、ja なら A が乱なので C は非乱ですね。

まあ、あとは大丈夫ですね。乱が見付かればあとはなんでもないはずです。 というわけで、たぶんこれは正しい解答だと思います。

もしかしたら、ツメが甘いと言われるかもしれませんが。

[]