2013-01-05

請問這題怎麼証呢? 老師上課的題目跟這題似乎不同,這題的BA只講到 (S,+,.),沒有1,0等lub、glb。

6 則留言:

  1. 跟老師上課講的例題完全一樣滴
    題目有說是Boolean algebra,
    因此一定lub和glb以及complement這些東西一定是well-defined
    老師上課時只是轉成我們習慣的代數系統符號
    這種tuple的符號定義不同的書常常會有差異

    回覆刪除
  2. 但老師當年出的解題書的解答跟上課的不一樣!我真的可以用上課的例題的解法嗎?

    回覆刪除
  3. 沒問題的, 並且我覺得那樣解還比當年書上的寫法來得更直覺
    因為題目就是請你證明a的補元素的補元素為a
    但要注意的是, 老師上課時只證一行
    是因為他先說明a為bar(a)之complement
    然後再說明因為complement具唯一性, 所以bar(bar(a)) = a
    所以筆記裡寫的"唯一性"那一段一定要證出來
    (應該就是你上課筆記裡, 記在這個Example上面的那個定理)
    只要有證出來就一定沒問題

    回覆刪除
  4. 呃...是假設b,c都是a的complement那個嗎?

    a join b=1、a meet b =0
    a join c=1、a meet c =0

    b = b meet (a join c)
    =(b meet a) join (b meet c)
    = 0 join (b meet c)
    = (a meet c) join (b meet c)
    =(a join b) meet c
    = c


    回覆刪除