Re: [問題] 請問離散的邏輯
※ 引述《billwang (小二)》之銘言：
: 1.Simplify the expressions to equivalent statements that have as few symbols
: as possible
: (1) ( p ^ ( p v q ) ) v q
: (2) ┐( ┐( p v r ) v ┐( p v q ))
: 答案
: (1) p v q
: (2) p v ( r ^ q )
: 請問該如何推導
: 感謝回答
1.
( p ^ ( p v q ) ) v q = p v q (吸收率)...證明可以畫文示圖
2.
┐( ┐( p v r ) v ┐( p v q ))
= (p v r) ^ (p v q) (笛摩根)
= ((p v r)^p) v ((p v r) ^ q) (分配率)
= p v ((p v r) ^ q) (吸收率)
= p v ((p ^ q) v (r ^ q)) (分配率)
= p v (p ^ q) v (r ^ q) <結合率>
= p v (r ^ q) (吸收率)
有錯請麻煩各位指出囉~@@
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 61.229.82.9
討論串 (同標題文章)