作者hateexam (迷恋就是青春)
看板Grad-ProbAsk
标题Re: [问题] 请问离散的逻辑
时间Mon Mar 23 23:32:35 2009
※ 引述《s987692 (阿诚)》之铭言：
: ※ 引述《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
1.(p*(p+q))+q
=pp+pq+q=p+pq+q(这项就看得出p+q+pq(因为有p及q，pq就包含在里面，可省略))
=p+q=>pvq
如果不用证明的话，可以这样加乘推看看
: 2.┐( ┐( p v r ) v ┐( p v q ))
: = [(p v r)^(p v q)]
: = p v (r ^ q)
2.┐( ┐( p v r ) v ┐( p v q )) => ( 因┐(a v b) = ┐a ^ ┐b )
=(p+q)(p+r)
=p+pq+pq+qr(因为pq包含於p，可省略)
=p+qr
=>p v (r ^ q)
--
你知道每年全球有多少人死於饥饿吗?美国的「The Hunger site」
http://www.thehungersite.com/clickToGive/home.faces?siteId=1 网站上只要网友
每天上网按一次，他们就会联合世界企业家,捐给世界各地饥民一碗食物，
光是去年一整年，「The Hunger site」就送出了4,800万碗食物给世界各地需要的
饥民.只要连上网路，动动你的滑鼠，加入首页,每天击点一次就可以帮助一个人,
※ 编辑: hateexam 来自: 218.172.108.230 (03/23 23:39)
1F：→ greedbo:因为有p及q，pq就包含在里面，可省略 ->看不懂? p(1+q)+q 03/24 00:57
2F：→ greedbo:=p+q 成立吗? 03/24 00:57
3F：→ hateexam:不是 是用p^q是p的一部分里 当然也是q的一小部份了 03/24 02:09
4F：→ hateexam:所以P就包含P^Q了 03/24 02:09
5F：→ hateexam:P v (P^Q)=P 03/24 02:10