用命题逻辑推理的方法解决逻辑推理问题。 根据下面的命题，试用逻辑推理方法确定谁是作案者，写出推理过程。

用命题逻辑推理的方法解决逻辑推理问题。 根据下面的命题，试用逻辑推理方法确定谁是作案者，写出推理过程。
（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.