Re: [問題] 請問離散的邏輯
※ 引述《s987692 (阿誠)》之銘言：
: ※ 引述《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) ^ q v ( p v q )]
: -------- --------------
: = (p v q) ^(q v p)
: = p v(q ^ q)
: = p v q
1.(p*(p+q))+q
=pp+pq+q=p+pq+q(這項就看得出p+q+pq(因為有p及q，pq就包含在裡面，可省略))
=p+q=>pvq
如果不用證明的話，可以這樣加乘推看看
: 2.┐( ┐( p v r ) v ┐( p v q ))
: = [(p v r)^(p v q)]
: = p v (r ^ q)
2.┐( ┐( p v r ) v ┐( p v q )) => ( 因┐(a v b) = ┐a ^ ┐b )
=(p+q)(p+r)
=p+pq+pq+qr(因為pq包含於p，可省略)
=p+qr
=>p v (r ^ q)
--
你知道每年全球有多少人死於飢餓嗎?美國的「The Hunger site」
http://www.thehungersite.com/clickToGive/home.faces?siteId=1 網站上只要網友
每天上網按一次，他們就會聯合世界企業家,捐給世界各地饑民一碗食物，
光是去年一整年，「The Hunger site」就送出了4,800萬碗食物給世界各地需要的
饑民.只要連上網路，動動你的滑鼠，加入首頁,每天擊點一次就可以幫助一個人,
※ 編輯: hateexam 來自: 218.172.108.230 (03/23 23:39)
→
03/24 00:57, , 1F
03/24 00:57, 1F
→
03/24 00:57, , 2F
03/24 00:57, 2F
→
03/24 02:09, , 3F
03/24 02:09, 3F
→
03/24 02:09, , 4F
03/24 02:09, 4F
→
03/24 02:10, , 5F
03/24 02:10, 5F
討論串 (同標題文章)