作者fish0835 (以无用为大用)
看板Grad-ProbAsk
标题Re: [问题] 请问离散的逻辑
时间Tue Mar 24 11:17:54 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 (吸收率)...证明可以画文示图
2.
┐( ┐( p v r ) v ┐( p v q ))
= (p v r) ^ (p v q) (笛摩根)
= ((p v r)^p) v ((p v r) ^ q) (分配率)
= p v ((p v r) ^ q) (吸收率)
= p v ((p ^ q) v (r ^ q)) (分配率)
= p v (p ^ q) v (r ^ q) <结合率>
= p v (r ^ q) (吸收率)
有错请麻烦各位指出罗~@@
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 61.229.82.9