推 yellowfishie:錯字，是 identities 吧 = = 10/02 20:47
推 yellowfishie:identity 也有 complement pairs 10/02 20:48
推 nextme:在加法裡面 0是identity 那他的inverter是? 10/02 21:03
推 yellowfishie:並不是從 operator 來看的啊 :) 10/02 21:08
→ yellowfishie:0 的 complement 就是 1 10/02 21:08
推 moonshade:complement沒有定義...不要亂用... 10/02 21:15
→ moonshade:你只定義了+ 和. ...其他要用證的 10/02 21:16
→ moonshade:你必須用+ 和. map出a' 然後稱呼a' 為a之complement 10/02 21:17
→ moonshade:然後同樣證明0-1互為complement 10/02 21:23
推 yellowfishie:我知道 只是表達 identity 也有 complement 而已 = = 10/02 21:37