作者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