黃子嘉 - 線代離散研究室: [離散]邏輯 if p then q else r

2010-02-17

[離散]邏輯 if p then q else r

請問 if p then q else r

等價於(p->q)and(~p->r) 等價於 (p and q)or(~p and r)

最後那一個是怎樣推的呢 ?

2 則留言:

線代離散助教(wynne) 提到...: (p→q)∧(!p→r)
≡(!p∨q)∧(p∨r)≡((!p∨q)∧p)∨((!p∨q)∧r)
≡(q∧p)∨(!p∧r)∨(q∧r)≡(q∧p)∨(!p∧r),
因為q∧r必為0 (q,r不可能同時成立); 2010年2月18日凌晨1:15
Baleezo 提到...: 感謝助教回答 ^^; 2010年2月18日凌晨1:36

訂閱：張貼留言 (Atom)