作者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