臨高啟明

三百三十四節真或假

加入書簽 推薦本書

三百三十四節真或假(第2/4頁)

k號卡袋中的卡片,是1~k-1號命題的‘非’命題的‘與’、再‘與’k號命題。

經過k號讀卡單元的剩餘卡片,是滿足1~k號所判斷的命題的‘非’命題的‘與’。

1~k號卡袋裡麵的卡片,合起來是滿足1~k號所判斷的命題的‘或’。

假設我們的讀卡單元所判斷的簡單命題(或簡單命題的非命題)為p1,p2,...,p10。

則我們所能夠判斷的命題表達式為:

1號卡袋:p1

2號卡袋:┐p1∧p2

3號卡袋:┐p1∧┐p2∧p3

4號卡袋:┐p1∧┐p2∧┐p3∧p4

...

10號卡袋:┐p1∧┐p2∧...∧┐p9∧p10

最終剩餘卡片:┐p1∧┐p2∧...∧┐p10

最後由於這些卡片被彼此分開,所以我們最終可以自由選擇任意多個卡袋的卡片合在一起,也就是上述表達式之間的‘或’;其中最重要的,是從1~k號的連續k個卡袋中的卡片合在一起,其結果為:p1v...vpk,即以p1為開頭的連續‘或’運算;

而經過k號讀卡單元後機器上剩餘的卡片,可表示為┐p1∧...∧┐pk,即以┐p1為開頭的連續‘與’運算。”

“所以,凡是能變換成上述形式表達式的命題,就是分類機能夠查找的,否則,就是分類機不能查找的。”

“我給加奈出的問題,找出三亞大區除奴隸以外的卡片,可以分解成如下的簡單命題或簡單命題的非命題:

命題a:‘地區碼第1位不為1’,

命題b:‘地區碼第2位不為0’,

命題c:‘地區碼第3位不為0’,

命題d:‘地區碼第4位不為1’,

&

nbsp;命題e:‘地區碼第5位為1’,

命題f:‘地區碼第5位不為2’

命題g:‘地區碼第6位不為9’

命題h:‘地區碼第7位不為9’

┐a∧┐b∧┐c∧┐d∧e,這是10011,三亞榆林,它符合5號卡袋的表達式,所以這些卡片位於5號卡袋中,可以記為p5。

┐a∧┐b∧┐c∧┐d∧┐e∧┐f∧g,這是100120~100128,三亞田獨11~89公社,它符合7號卡袋的表達式,所以這些卡片位於7號卡袋中,可記為p7。

┐a∧┐b∧┐c∧┐d∧┐e∧┐f∧┐g∧h,這是1001290~1001298,三亞田獨90~98公社,它符合8號卡袋的表達式,所以這些卡片位於8號卡袋中,可記為p8。

後兩者合起來,即p7vp8,是三亞田獨,但不包括奴隸。三者全部合起來,即p5vp7vp8,是我們所要的結果。因

(本章未完,請點擊下一頁繼續閱讀)

上一頁 章節目錄 下一頁

小說推薦:大明:最窮縣令,老朱跪求我貪汙!時空流浪者的諸天之旅大明臥龍與法正開局救崇禎邊軍悍卒:被逐出家門後,我君臨天下!邊軍毒醫,順我者生逆我者死九鼎邊軍第一悍卒穿越1937,殺出一身神級技能彆人奪嫡偷偷來,我家皇帝下聖旨大明帝師,手把手教崇禎成為暴君赤血番號大梁遺燼烽煙再起瀚海歸塵師爺高哉