作者BattleRoyale (翔焰)
看板EE_DSnP
标题[问题] C499失败
时间Sun Jun 22 02:26:48 2008
想请问一下 如果说C17 C17_r.aag的测资都对了(brep)
但是C499却错了可能是怎麽样的状况呢?
ref中print 487 大约是4766个node
我的node却上万...连的也不正确
这样可能是什麽问题呢?
--
作BDD平均每个debug的低消是两小时啊~~~~
--
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.4.234
1F：推 ric2k1:xor, xnor 要对, DeMorgan's law 要对... 06/22 02:32
2F：→ BattleRoyale:xor, xnor都对了 DeMorgan's law是指哪个地方呢? 06/22 02:37
3F：→ BattleRoyale:刚测了一下 ~(a|b) = ~a&~b , ~(a&b) =~a|~b 是ok的 06/22 02:41