作者billwang (小二)
看板Grad-ProbAsk
標題[問題] 請問離散的邏輯
時間Mon Mar 23 18:43:52 2009
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
1F：推 s987692:q v (q ^ p)? 03/23 19:49
2F：→ billwang:你是說哪一題 答案好像不是這樣 03/23 19:55
3F：推 hateexam:P v q 03/23 21:00
4F：→ hateexam:P v q v R 03/23 21:03
5F：→ hateexam:第二個是P 03/23 21:04
※ 編輯: billwang 來自: 118.168.39.77 (03/23 21:09)
6F：推 hateexam:這個用畫圖的 就能推了 03/23 22:05
7F：推 s987692:1.[p v(p ^ q)] v q = p v q 03/23 22:31
8F：→ s987692:2. (p v r) ^ (p v q) = p v (r ^ q) 03/23 22:32
9F：→ billwang:請問樓上高手要如何推導 03/23 22:41
10F：→ fish0835:使用K-map吧!? 03/24 11:05
11F：→ fish0835:更正...使用Boolean的基本性質就可以了= =+ 03/24 11:07