※ 引述《karate362 (最近腰不痛的卡拉特)》之銘言：
: 那是跑了C17.cir出來的22GAT的結果嗎?
: 好像有一些奇怪喔
: 按照C17.cir裡的定義
: and 11GAT 3GAT 6GAT
: inv 11GAT_B 11GAT
: and 10GAT 1GAT 3GAT
: and 16GAT 2GAT 11GAT_B
: or 22GAT 10GAT 16GAT
: 22GAT應該等同於(1GAT*3GAT) +2GAT*(3GAT*6GAT)'
: 但是檢查一下22.png
: 在6GAT代入0,即node4等於0時 應該是(1GAT*3GAT) +2GAT才對
: 但22.png完全不是這樣...
: 講了一些廢話 我只是想問22.png到底是什麼東西的結果
: 因為我的23.png跟我自己跑的23GAT是完全一樣的 這讓我有點困擾
22.png 就是 22GAT$PO 的 BDD
你若將 6GAT (level 4) = 0 代入, you have
3G && ( 2G || 1G ) || 2G
= (3G && 2G) || (3G && 1G) || 2G
= (3G && 2G) || 2G || (3G && 1G)
= 2G || (3G && 1G)
= (1GAT && 3GAT) || 2GAT // as you said
It's correct...
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.121.131.33