[讨论] BDD的existential quantification keyboardle PTT批踢踢实业坊

[讨论] BDD的existential quantification

楼主: keyboardle (朱弟) 2011-04-17 22:28:02

在讲义的第123个slide上
提到"If x is bottom variable -> replace it with 1"
我的疑问在于
这个操作好像必须要在"complement edge free"的条件下才成立
不然看起来会跟将1代入x变成一样的结果
这个潜规则是我上课恍神没注意到老师提及这个前提吗?
如果我的问题还算清楚的话不知道有没有人能替我解惑一下

作者: yunmeow (Yunmeow) 2011-04-17 22:55:00

因为它don't care了.......(菸)

楼主: keyboardle (朱弟) 2011-04-17 23:53:00

突然想到.应该说是把"replace it..."改成"connect to"对我来说比较直观.所以应该是我个人语文理解上的问题

继续阅读

Re: [问题] 请问ja77 [问题] 请问san1326 [问题] 请问一下HW3-2的deadlinegn00670191 [公告] HW#3ric2k1 HW#2未缴交名单kaie819 [情报] Lecture note #4ric2k1 HW#1未缴交名单kaie819 [公告] HW#2 and Lecture note #3 are now at ceiba!ric2k1 [公告] HW#1 is now on Ceiba!!ric2k1 Re: ============= 分隔线出没请注意 =============ric2k1