推 prpure:多謝~~~ 05/24 19:03
※ 引述《prpure (風速)》之銘言：
: 題目：
: 在Declarative programming中我們是用解析的方式來做計算或推導。請解析下面的敘述
: （S or not P）,（P or Q）,（R or not Q）,（not R）and（not P），其結果為何？
: 想法：
: 這一題我找不到相關的解答，感覺要有寫過相關程式的人才會
: 故請教大家，先說聲謝謝回答~。
目前是想到True和False，有錯請指正
(S or not P)
S P ~P S or ~P
0 0 1 1
0 1 0 0
1 0 1 1
1 1 0 1
不全為1，結果為false
-------------------------------------------------------------
(P or Q)
P Q P or Q
0 0 0
0 1 1
1 0 1
1 1 1
結果為false
----------------------------------------------------------------
（R or not Q），結果為false
同(S or not P)
-----------------------------------------------------------------
（not R）and（not P）
R P ~R ~P (~R)and(~P)
0 0 1 1 1
0 1 1 0 0
1 0 0 1 0
1 1 0 0 0
結果為false
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.116.142.196