※ 引述《JinliC (淨璃)》之銘言：
: 我也有問題...><
: 1.第一題我也看不懂要證什麼？
: 是說因為有0就有1，有a就有a'，
: 所以對set來說一定有偶數個elements嗎？ @@
根據fish 寫給我的
Boolean( B, ., +, 0, 1 )
這個是algebra 的基本結構
B 是set, . 和 + 是 operation
0, 和1 是說有identity跟一個叫null 還是什麼鬼的
用. 和+ 怎麼做都跑不出0跟1以外，
所以B只有{0,1}，但是我想的+, . 是and 跟or
我不知道你們學的是什麼..
只要證明新生出來的東西不脫離{0,1}這個group就好了
因為., + 是closed operation
如果是
Natural ( N, +, 0, 1)
那就會變成 1+1= 2
2, 3, 4, 5, 6, 7, infinity
有定義-的話就會有負數(inverse operation)
blah blah...
但如果說他要證是even or odd的話
那只要證明任何element都有一個對應的element在空間中就好了
如此便是他說的even吧？
這是我猜的...
例如說有a 就有a'，0跟1，
他又沒定義even是啥...
: 2.第四題的verify，我是先算出f(x)=ax'+a'x，
: 然後跟第三題一樣用function table（x, y, f(x+y)+(f(xy))', a'+xy+x'y'）
: (given g) (simplified g)
: 然後表示後兩項一樣。
: 可是這樣原本的f(x)還是用Boole's th.算的，有驗證到嗎？
--
這東西在我多年前借給趁逢的書後面的附錄有
--
※ 發信站: 批踢踢實業坊(ptt.cc)
※ 編輯: moonshade 來自: 203.203.46.113 (10/02 17:55)