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 則留言:

  1. 線代離散助教(wynne)2012年9月19日凌晨1:52

    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. 你說的沒錯

    謝謝你幫忙更正噢

    回覆刪除
  2. Bill2012年9月20日凌晨1:02

    助教!謝謝.

    回覆刪除
  3. Bill2012年9月20日凌晨1:03

    助教!謝謝.

    回覆刪除