命题逻辑推理

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

#include <stdio.h>
int main() {
	//五个命题变项
/*A:营业员A偷了手表
B : 营业员B偷了手表
C : 作案不在营业时间
D : B提供的证据正确
E : 货柜末上锁
*/
	int A, B, C, D, E;
	//0表示结论错误,1表示结论正确 两者组合形成复合命题,一个为简单命题
	for (A = 0; A <= 1; A++) {
		for (B = 0; B <= 1; B++) {
			for (C = 0; C <= 1; C++) {
				for (D = 0; D <= 1; D++) {
					for (E = 0; E <= 1; E++) {
						/*  （1）营业员A或B偷了手表；
							（2）若A作案，则作案不在营业时间；
							（3）若B提供的证据正确，则货柜末上锁；
							（4）若B提供的证据不正确，则作案发生在营业时间；
							（5）货柜上了锁。
						*/

						if ((A || B) && (!A || C) && (!D || E) && (D || !C) && !E) {
							printf("A=%d B=%d");
						}

					}
				}
			}
		}
	}
}

蕴含式(2)(3)(4) :使用 !A||B表示如果A,则B