[問題] 請問離散的邏輯

[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 )

請問該如何推導

感謝回答

--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 118.168.39.77
推 s987692:q v (q ^ p)?
→ billwang:你是說哪一題 答案好像不是這樣
推 hateexam:P v q
→ hateexam:P v q v R
→ hateexam:第二個是P
※ 編輯: billwang        來自: 118.168.39.77        (03/23 21:09)
推 hateexam:這個用畫圖的 就能推了
推 s987692:1.[p v(p ^ q)] v q =  p v q
→ s987692:2. (p v r) ^ (p v q) = p v (r ^ q)
→ billwang:請問樓上高手要如何推導
→ fish0835:使用K-map吧!?
→ fish0835:更正...使用Boolean的基本性質就可以了= =+