建立网站 域名 服务器,互联网信息服务业务经营许可证,wordpress 匹配,页面模板只有注册的人可以弄吗任务描述 相关知识 实验用例 实验原理和方法 编程要求 测试说明 任务描述 本关任务#xff1a;用命题逻辑推理的方法解决逻辑推理问题。加深对命题逻辑推理方法的理解。
相关知识 为了完成本关任务#xff0c;你需要掌握#xff1a;1.命题符号化#xff0c;2.命题推理。
…任务描述 相关知识 实验用例 实验原理和方法 编程要求 测试说明 任务描述 本关任务用命题逻辑推理的方法解决逻辑推理问题。加深对命题逻辑推理方法的理解。
相关知识 为了完成本关任务你需要掌握1.命题符号化2.命题推理。
实验用例 根据下面的命题试用逻辑推理方法确定谁是作案者写出推理过程。 1营业员A或B偷了手表 2若A作案则作案不在营业时间 3若B提供的证据正确则货柜未上锁 4若B提供的证据不正确则作案发生在营业时间 5货柜上了锁。
实验原理和方法 1、符号化上面的命题将它们作为条件得一个复合命题。 定义命题变元如下 p: 营业员A偷了手表 q: 营业员B偷了手表 r: 作案在营业时间 s: B提供的证据正确 t: 货柜上锁 则条件符号化为 1p∨q 2略自行补充 3略自行补充 4略自行补充 5略自行补充 2、将复合命题中要用到的联结词定义为C语言中的逻辑运算用变量表示相应的命题变元。将复合命题写成一个逻辑表达式。 例如 p∨q 对应C语言中的p∣∣q。 3、编写程序利用穷举法找出pqrst的一组赋值使得逻辑表达式成立。若p1则表示A作案q1则表示B作案。
编程要求 根据提示在右侧编辑器补充代码计算并输出p、q、r、s、t的值。例如10111
测试说明 平台会对你编写的代码进行测试
开始你的任务吧祝你成功
/** step3.c*
利用命题逻辑求解实际问题* *///p∨q p-!r s-!t !s-r t
//p||q p!r||!r0 s!t||!t0 !sr||r0 t
//p||qp!rst!srt
//01101
#include stdio.hint main(int argc, char **argv)
{int p,q,r,s,t;//在下面Begin和End之间补全代码
/*********** Begin ***********/for(p0;p2;p)for(q0;q2;q)for(r0;r2;r)for(s0;s2;s)for(t0;t2;t){if((p||q)(!pr)(!st)(!sr)t){printf(%d%d%d%d%d,p,q,r,s,t);}}/*********** end ***********/return 0;
}
