作者s987692 (阿诚)
看板Grad-ProbAsk
标题Re: [问题] 请问离散的逻辑
时间Mon Mar 23 22:54:14 2009
※ 引述《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
1F：推 billwang:不好意思 我看不懂第1题第1个等号怎麽来的 03/23 23:00
2F：→ billwang:还有第2题的 第1个等号变成第2个等号 03/23 23:01
3F：→ s987692:分配律阿~ 03/23 23:04
4F：→ s987692:a*(b+c)= a*b+a*c 03/23 23:05
5F：推 billwang:第2题我懂了 但是第1题我还是看不懂 抱歉喔 03/23 23:06
6F：推 billwang:能在说明一下吗 第1个等号 不懂怎麽来的 感谢 03/23 23:08
※ 编辑: s987692 来自: 114.42.202.209 (03/23 23:10)
7F：推 hateexam:把^当成X v看成加 就知道了 03/23 23:09
8F：→ s987692:底线部分各看成一项你就懂了 03/23 23:11
9F：推 billwang:我懂了 谢谢你 03/23 23:14