用命题逻辑推理的方法解决逻辑推理问题。 根据下面的命题,试用逻辑推理方法确定谁是作案者,写出推理过程。
(1)营业员A或B偷了手表;
(2)若A作案,则作案不在营业时间;
(3)若B提供的证据正确,则货柜末上锁;
(4)若B提供的证据不正确,则作案发生在营业时间;
(5)货柜上了锁。
符号化上面的命题为:
A:营业员A偷了手表
B:营业员B偷了手表
C:作案不在营业时间
D:B提供的证据正确
E:货柜末上锁
输入格式:
本题无输入
输出格式:
A=1,B=0
A=0,B=1
上面第一行表示A偷了手表
第二行表示B偷了手表
输入样例:
在这里给出一组输入。例如:
输出样例:
在这里给出相应的输出。例如:
A=0,B=1
#include<iostream>
using namespace std;
int main()
{
int a[4],num;
for(int i=0;i<=4;i++)
{
cin>>a[i];
}
num=a[0]+a[1]+a[3]+a[4];
if(num<=4)
cout<<"A=1,B=0";
else
cout<<"A=0,B=1";
system("pause");
}
这里解释一下为啥num<=4;
假设a偷了手表,则A=1,C=1又因为第四个条件B的证据只能是正确的
,则货柜未上锁。
故A,B,D,E=1,C=0.