人気ブログランキング |

「0と1の話」P22のパズル

A=1を仮定する。

Aの発言C=1はFでB=2がT

Bの発言C=2はFでD=3がT

Cの発言D=4はFでA=2がT、すると仮定に反するので、Aは1ではない。


B=1を仮定する。

A (C=1)=F (B=2)=T

仮定に反するのでB=1ではない。


C=1を仮定する。

A (C=1)=T (B=2)=F

B (C=2)=F (D=3)=T

C (D=4)=F (A=2)=T

順番に並べると、C,A,D,Bで、矛盾はない。


D=1を仮定する。

A (C=1)=F (B=2)=T

B (C=2)=F (D=3)=T

仮定に反するのでD=1ではない。


ゆえに、C=1の仮定が正しい。


d0164691_22121392.jpg


by tomoarrow | 2019-08-13 07:00 | モチーフについて | Comments(6)
Commented by たんぽぽ at 2019-08-14 06:42 x
解けた。

ねたばれ防止のために、わたしの回答はこちら。
http://lacrima09.web.fc2.com/fig7/shougakukin.html
Commented by tomoarrow at 2019-08-14 08:19
残念、文字化けして読めないです。
ちなみに「0と1の話」では後のページでブール代数で解いていたけど、とてもわかりにくかった。
Commented by たんぽぽ at 2019-08-14 23:27 x
今度はどうかな?
http://lacrima09.web.fc2.com/fig7/shougakukin.html

日本語コードはShift-JISです。
Commented by tomoarrow at 2019-08-15 07:17
正解です。次はぜひ、「0と1の話」の著者も匙を投げていたこの問題に挑んでくださいω

https://twitter.com/kinshati/status/1159250821881532416
Commented by たんぽぽ at 2019-08-17 10:59 x
>https://twitter.com/kinshati/status/1159250821881532416

それは、わたしにも無理そうです(泣)。
Commented by tomoarrow at 2019-08-18 07:53
AからFまで6人いるから、全部の01組み合わせパターンを書き出すと2^6=64通り、それを調べるのはしんどいω