作者chocosan (薯條)
看板Grad-ProbAsk
標題Re: [理工] [離散]-邏輯
時間Sun Apr 11 22:01:08 2010
※ 引述《chocosan (薯條)》之銘言:
: 請問以下這題要做什麼
: Construct a truth table for the statement
: 1)"if p then q else r"
: 2)~(p^q)v~(p^q)
: 3)Prove with truth table that~((avb)^~b)va is true.
: 是要寫出這三小題的真值表嗎
: 請問答案是?
: 謝謝各位~
請問這題第一小題答案為以下嗎?
1)
p q r p->q ~p->r (P->q)^(~p->r)
-------------------------------------
0 0 0 1 0 0
0 0 1 1 1 1
0 1 0 1 0 0
0 1 1 1 1 1
1 0 0 0 1 0
1 0 1 0 1 0
1 1 0 1 1 1
1 1 1 1 1 1
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 59.113.130.64
推 crazykk:恩,答案沒問題,第二題做法一樣 04/11 22:10
→ crazykk:第三題要判斷最後結果是否全為1 04/11 22:10
→ chocosan:已全部完成,謝謝大大 04/11 22:11