這題是黃子嘉老師 離散數學第四版 下冊 p10-68 範例1
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 則留言:
1. 利用吸收律:
p ^ (p v q) = p
則原式為p v q
2. 利用De-Morgan's law
原式為(p v r) ^ (p v q)
再利用distribution law, 把p提出來得
p v (r ^ q)
張貼留言