迪摩根
剛剛測迪摩根
d = ~(a&b)
[2](-) 0x50fc00 (1)
[1](+) 0x50fb10 (3)
[0](+) 0x50fa90 (10)
[0](-) 0x50fa90 (10) (*)
[0](-) 0x50fa90 (10) (*)
==> Total #BddNodes : 3
e = ~a | ~b
[2](-) 0x50fc00 (2)
[1](+) 0x50fb10 (3)
[0](+) 0x50fa90 (10)
[0](-) 0x50fa90 (10) (*)
[0](-) 0x50fa90 (10) (*)
==> Total #BddNodes : 3
RefCount的不一樣是因為我們在建BDD的時候用不同的方式所造成的嗎
還是說 d e 兩個東西出來就應該一模一樣????
謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.49.246
→
06/24 17:03, , 1F
06/24 17:03, 1F
→
06/24 17:04, , 2F
06/24 17:04, 2F
推
06/24 17:04, , 3F
06/24 17:04, 3F