作者noblebell (高貴的鈴)
看板EE_DSnP
標題Re: [問題] 關於BDD的操作
時間Sat Jan 9 22:37:05 2010
※ 引述《anfranion (南‧生命的意義是經歷)》之銘言：
: 重新定義一下問題@@"
: 就是說 老師在上課講說哪個是哪個的positive cofactor的部份
: 是怎麼看出來的囧
: 比如說b || c的
: 我怎麼知道c也是positive cofactor (老師在C和1上面都打圈圈)
: 諸如此類的QQ
: 先感謝好心人囉!
雖然老師已回文，但我還是提供自己的拙見供你參考~~~
1、在p26頁建立 b||c 時，老師指定順序是b再c。根據shannon我們要在兩個函數各自找
positive 和 negative cofactor再"or"起來。
假設c的函數是f1，而b的函數是f2
f1 = c．1
f2 = b．1
為了讓c符合 b．positive cofactor + b"．negative cofactor
(b"等於b bar)
改寫f1為：
f1 = c．(b + b") = b．c + b"．c
所以，f1的positive 和 negative cofactor，都是c自己囉~
同理，f2則為：
f2 = b．1 + b'．0
(b" AND 0讓它消失)
所以，f2的positive 和 negative cofactor，分別為1和0囉~
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.251.6
1F：→ anfranion:所以是讓所有的東西都要符合目前level的node之shannon 01/09 23:39
2F：→ anfranion:這樣嗎@@? 好像有比較懂了 感謝<(_ _)> 01/09 23:40
3F：推 ric2k1:嗯, 要用相同 level的 cofactor 來操作,而且是從最上面開始 01/10 01:00