[討論] 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