賽跑 - 拼圖

※ 引述《puzzlez (渴望一份好工作)》之銘言：
: 艾倫、巴特、克萊和迪克四人進行了一場賽跑，最後分出了高低。但這四人都是出了名的
: 愛撒謊。他們口中的賽程結果是：
: 艾倫：(1)我剛好在巴特之前到達終點。（即指艾倫之後，下一個到達的是巴特）
: (2)我不是第一名。
: 巴特：(3)我剛好在克萊之前到達終點。
: (4)我不是第二名。
: 克萊：(5)我剛好在迪克之前到達終點。
: (6)我不是第三名。
: 迪克：(7)我剛好在艾倫之前到達終點。
: (8)我不是最後一名。
: 1.上面這些話中，只有兩句是真話。
: 2.取得第一名的那個人，至少說了一句真話。
: 這四人當中，誰是第一名？
窮舉第一名笨方法:
a.若艾倫第一名: 根據條件2. 且(2)=F => (1)=T
則順序有兩種: 艾巴克迪:(3)=T (4)=F (5)=T (6)=F (7)=F (8)=F, True=3 不合
艾巴迪克:(3)=F (4)=F (5)=F (6)=T (7)=F (8)=T, True=3 不合

b.若巴特第一名: 根據條件2. 且(4)=T
當(3)=T 順序: 巴克艾迪:(1)=F (2)=T (5)=F (6)=T (7)=F (8)=F, True=4 不合
巴克迪艾:(1)=F (2)=T (5)=T (6)=T (7)=T (8)=T, True=7 不合
當(3)=F 順序: 巴艾克迪:(1)=F (2)=T (5)=T (6)=F (7)=F (8)=F, True=3 不合
巴艾迪克:(1)=F (2)=T (5)=F (6)=T (7)=F (8)=T, True=4 不合
巴迪艾克:(1)=F (2)=T (5)=F (6)=T (7)=T (8)=T, True=5 不合
巴迪克艾:(1)=F (2)=T (5)=F (6)=F (7)=F (8)=T, True=3 不合

c.若克萊第一名: 根據條件2. 且(6)=T
當(5)=T 順序: 克迪艾巴:(1)=T (2)=T (3)=F (4)=T (7)=T (8)=T, True=7 不合
克迪巴艾:(1)=F (2)=T (3)=F (4)=T (7)=F (8)=T, True=5 不合
當(5)=F 順序: 克艾巴迪:(1)=T (2)=T (3)=F (4)=T (7)=F (8)=F, True=4 不合
克艾迪巴:(1)=F (2)=T (3)=F (4)=T (7)=F (8)=T, True=4 不合
克巴艾迪:(1)=F (2)=T (3)=F (4)=F (7)=F (8)=F, True=2
克巴迪艾:(1)=F (2)=T (3)=F (4)=F (7)=T (8)=T, True=4 不合

d 若迪克第一名: 根據條件2. 且(8)=T
當(7)=T 順序: 迪艾巴克:(1)=T (2)=T (3)=T (4)=T (5)=F (6)=T, True=7 不合
迪艾克巴:(1)=F (2)=T (3)=F (4)=T (5)=F (6)=F, True=4 不合
當(7)=F 順序: 迪巴艾克:(1)=F (2)=T (3)=F (4)=F (5)=F (6)=T, True=3 不合
迪巴克艾:(1)=F (2)=T (3)=T (4)=F (5)=F (6)=F, True=3 不合
迪克艾巴:(1)=T (2)=T (3)=F (4)=T (5)=F (6)=T, True=5 不合
迪克巴艾:(1)=F (2)=T (3)=F (4)=T (5)=F (6)=T, True=4 不合

Ans: 第一名:克萊 後面依序: 2nd巴特, 3rd艾倫, 4th迪克.

--