Research Space for Linear Algebra & Discrete Mathematics
這題我之前回答錯@.@印象深刻不過你前提就錯了應該是交集不是 or(p→q)︿(!p→r)≡(!p﹀q)︿(p﹀r)≡((!p﹀q)︿p)﹀((!p﹀q)︿r)≡(q︿p)﹀(!p︿r)﹀(q︿r) /*因為q︿r必為0 (q,r不可能同時成立) */≡(q︿p)﹀(!p︿r)
非常感謝你!小弟懂了!
張貼留言
.JPG)
2 則留言:
這題我之前回答錯@.@
印象深刻
不過你前提就錯了
應該是交集不是 or
(p→q)︿(!p→r)
≡(!p﹀q)︿(p﹀r)
≡((!p﹀q)︿p)﹀((!p﹀q)︿r)
≡(q︿p)﹀(!p︿r)﹀(q︿r)
/*因為q︿r必為0
(q,r不可能同時成立) */
≡(q︿p)﹀(!p︿r)
非常感謝你!
小弟懂了!
張貼留言