作者maibells0 (-§-Labyrinth-§-)
看板logic
標題[請益] 未知function的真值樹表
時間Sat Aug 25 22:18:00 2012
教科書上為未知函數"?"給定真值表，並提供它的真值樹圖
p q p?q p ? q ~(p?q)
-------------------- | / \
T T T ~p / \
T F T q p ~q
F T F
F F T
但是書上所提供的真值樹圖令人感到不解。依據所給的真值表，我認為真值樹圖
應該如下，與原先的圖相反：
p ? q ~(p ? q)
/ \ |
/ \ ~p
p ~q q
請問這應該是教科書本身編排錯誤，或是我自己想出來的真值樹圖有誤呢?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.233.70
1F：推 t0444564:應該是你對了,因為 p?q ≡ p或(~q) 09/01 16:30
2F：→ maibells0:謝謝! 09/03 21:55