2012-09-17

離散題庫第10章

助教好!


想請問以下兩題,謝謝!

10-60(b)
此題不懂為何[(┐p v q)^(┐q v r )]→(┐p v r)後會變成 (┐p ^ r)→(┐p v r)


10-41(a) 是否勘誤?答案應為 q^r?





       

                                       


3 則留言:

線代離散助教(wynne) 提到...

1. 請將解答第二行改成
= [┐(┐p v q) v ┐(┐q v r )] v (┐p v r)
= (p ^ ┐q) v [(q ^ ┐r) v (┐p v r)]
= (p ^ ┐q) v [q v (┐p v r)] ^ [┐r v (┐p v r)]
= (p ^ ┐q) v [(q v ┐p v r) ^ 1]
= (p ^ ┐q) v q v (┐p v r)
= [(p v q) ^ (┐q v q)] v (┐p v r)
= (p v q) v (┐p v r)
= p v ┐p v q v r
= 1

2. 你說的沒錯

謝謝你幫忙更正噢

Bill 提到...

助教!謝謝.

Bill 提到...

助教!謝謝.