三百三十四節真或假
三百三十四節真或假(第3/4頁)
為這個表達式符合我們上麵的形式，所以分類機可以解決。”
“而‘（a∧b∧c）v（a∧d∧e）’，無論我們怎樣變換，是不能變換成上述表達式的，因而是當前的分類機所不能解決的。”
“好，問題來了，怎樣變換表達式？”這時他看向了馮珊。
“這是0和1的布爾代數。”馮珊答道，她的眼睛裡透出著迷的神色。
馮諾點點頭，錢羽之和李加奈此前已經完全不知所雲了，不過聽到布爾代數，他們有點反應過來了。
馮諾隻教過他倆最簡單的布爾代數，以至於他們以為布爾代數就是0和1的布爾代數。
“然後呢？”馮諾繼續引導。
“布爾代數是有補分配格！交運算是‘與’，並運算是‘或’，求補是‘非’，滿**換律、結合律、吸收律，‘與’和‘或’彼此滿足分配律！0-1布爾代數還滿足冪等律！”
這是布爾代數的理論部分，錢羽之和李加奈又糊塗了。
“很好。”馮諾表揚了一句。
“不過，”他又補充說，“格的基本運算律隻是‘與’和‘或’兩種運算之間的，包括交換律、結合律、吸收律、冪等律、分配律等等。在命題邏輯裡，還要考慮‘非’的性質，這裡我暫時隻說兩點：其一，雙重否定律，很顯然，命題的非命題的非命題，是其自身。其表達式的形式是——”
馮諾在黑板上寫下：
┐┐a=a；
“其二，德……唉，就叫‘與或轉換律’吧，兩個命題的合取的非，是兩個命題的非的析取；兩個命題的析取的非，是兩個命題的非的合取。其表達式的形式是——”
他又寫下：
┐（a∧b）=┐av┐b，
┐（avb）=┐a∧┐b。
“我舉兩個例子你們就明白了，‘不是16歲以上的男人’，也就意味著是‘16歲以下的人’或‘女人’；‘不是原籍海南或福建的人’，也就意味著‘不是原籍海南的人’並且‘不是原籍福建的人’。”
然後他繼續說道，“根據這些運算律，可以把邏輯命題的表達式變換成各種形式，不過，一般我們會變換成連續‘與’的‘或’，或者連續‘或’的‘與’，稱為析取範式和合取範式。”
“好，有了理論工具，我們就能夠發現，目前分類機在設計上存在局限性。如果分類機能夠處理一般的析取範式或者合取範式，就不存在從設計上無法解決的問題了。——比如‘找出原籍福建或海南的人’。”
“這就要求我們的每個讀卡單元，不是僅能判斷一個簡單命題的真假，而是能夠判斷多個簡單命題構成的合取項或者析取項的真假。反映在分類機設計上，就是把讀卡單元目前僅包括1個工作繼電器和1個控製繼電
（本章未完，請點擊下一頁繼續閱讀）