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) ^ 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
推
03/23 23:00, , 1F
03/23 23:00, 1F
→
03/23 23:01, , 2F
03/23 23:01, 2F
→
03/23 23:04, , 3F
03/23 23:04, 3F
→
03/23 23:05, , 4F
03/23 23:05, 4F
推
03/23 23:06, , 5F
03/23 23:06, 5F
推
03/23 23:08, , 6F
03/23 23:08, 6F
※ 編輯: s987692 來自: 114.42.202.209 (03/23 23:10)
推
03/23 23:09, , 7F
03/23 23:09, 7F
→
03/23 23:11, , 8F
03/23 23:11, 8F
推
03/23 23:14, , 9F
03/23 23:14, 9F
討論串 (同標題文章)