作者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