作者s987692 (阿誠)
看板Grad-ProbAsk
標題Re: [問題] 請問離散的邏輯
時間Mon Mar 23 22:54:14 2009
※ 引述《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
2.┐( ┐( p v r ) v ┐( p v q ))
= [(p v r)^(p v q)]
= p v (r ^ q)
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 114.42.202.209
推 billwang:不好意思 我看不懂第1題第1個等號怎麼來的 03/23 23:00
→ billwang:還有第2題的 第1個等號變成第2個等號 03/23 23:01
→ s987692:分配律阿~ 03/23 23:04
→ s987692:a*(b+c)= a*b+a*c 03/23 23:05
推 billwang:第2題我懂了 但是第1題我還是看不懂 抱歉喔 03/23 23:06
推 billwang:能在說明一下嗎 第1個等號 不懂怎麼來的 感謝 03/23 23:08
※ 編輯: s987692 來自: 114.42.202.209 (03/23 23:10)
推 hateexam:把^當成X v看成加 就知道了 03/23 23:09
→ s987692:底線部分各看成一項你就懂了 03/23 23:11
推 billwang:我懂了 謝謝你 03/23 23:14