→ gary19941208: 我知道a是等價的,不過b也是等價的,但是c.n.f不是 11/15 15:46
→ gary19941208: 若干maxterm的積嗎 11/15 15:46
推 kevinptt: 應該是(b) CNF的定義是由一堆 and 連接的 clause 11/15 15:59
→ hopward: 對齁 沒看清楚 哈哈 11/15 16:04
→ hopward: 應該是b 11/15 16:05
→ gary19941208: 感謝~~ 11/15 16:30