Re: [問題] 計算機概論 Declarative programming

看板Grad-ProbAsk作者 (低調)時間16年前 (2009/05/24 12:26), 編輯推噓1(100)
留言1則, 1人參與, 最新討論串2/2 (看更多)
※ 引述《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

05/24 19:03, , 1F
多謝~~~
05/24 19:03, 1F
文章代碼(AID): #1A6CnmaT (Grad-ProbAsk)
文章代碼(AID): #1A6CnmaT (Grad-ProbAsk)