[請益] 未知function的真值樹表

[maibells0 (-§-Labyrinth-§-)]

  教科書上為未知函數"?"給定真值表，並提供它的真值樹圖

  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
推 t0444564:應該是你對了,因為 p?q ≡ p或(~q)
→ maibells0:謝謝!