作者kitys (低调)
看板Grad-ProbAsk
标题Re: [问题] 计算机概论 Declarative programming
时间Sun May 24 12:26:23 2009
※ 引述《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
1F：推 prpure:多谢~~~ 05/24 19:03