1.某地刑侦大队对涉及六个嫌疑人的一桩疑案进行分析： A、B至少有一人作案； 人工智能归结消解问题

1.某地刑侦大队对涉及六个嫌疑人的一桩疑案进行分析： A、B至少有一人作案； 人工智能归结消解问题

设：代码1义为作案。代码0义为没作案。
ABCDEF代码顺序约定如下：

嫌疑人犯 A B C D E F
代码位置 0 0 0 0 0 0(或见穷竭表)
代码位数 1 2 3 4 5 6
穷竭表
穷竭全部组合，只有64种逻辑可能。
000000-111111 含义为全没作案，或全都作案。
000001-111110

000010-111101
000011-111100
000100-111011
000101-111010
000110-111001
000111-111000
001000-110111
001001-110110
001010-110101
001011-110100
001100-110011
001101-110010
001110-110001
001111-110000
010000-101111
010001-101110
010010-101101
010011-101100
010100-101011
010101-101010
010110-101001
010111-101000
011000-100111
011001-100110
011010-100101
011011-100100
011100-100011
011101-100010
011110-100001
011111-100000
有六句已经成立的判断句。
其中第五句排除最多，效率最高，故从第五句开始。

第五句：CD中仅一人作案。即CD互非。
CD对应3-4位，则3-4位应互非。在3-4位上应满足01或10。
删除不满足代码。剩余满足的情况如下：
000100-111011

000101-111010
000110-111001
000111-111000
001000-110111
001001-110110
001010-110101
001011-110100
010100-101011
010101-101010
010110-101001
010111-101000
011000-100111
011001-100110
011010-100101
011011-100100
第一句：AB至少一人作案。
AB对应1-2位。即1-2位应满足01，10，11。
删除不满足代码。满足的情况如下：
-111011

-111010
-111001
-111000
-110111
-110110
-110101
-110100
010100-101011

010101-101010
010110-101001
010111-101000
011000-100111
011001-100110
011010-100101
011011-100100
第二句：AEF至少两人作案。
AEF对应1-5-6位。于1-5-6位应满足101,110,011,111。
删除不满足代码。满足的情况如下：
-111011

-111010
-111001
-110111

-110110
-110101
-101011

-101010
010110-101001
010111-
-100111
-100110
-100101
011011-
第三句：AD不可能同案。
AD对应1-4位。1-4位上应删除都是1的情况。
-111011

-111010
-111001
-101011

-101010
010110-101001
010111-
011011-

第四句：BC或同案或无关。
BC对应2-3位。2-3位上应满足00,11。
-111011

-111010
-111001
011011-

第六句：若D没作案，则E也没作案。
DE对应4-5位。于4-5位上相同，应满足00或11。
111001

这就是唯一可能的情况。

可见逻辑位上是1的有ABCF。
代码含义为：ABCF是案犯。
验证：
AB至少一人作案。A=1，B=1，符合。

AEF至少两人参与。A=1，F=1，符合。

AD不可同案。A=1，D=0，符合。

BC或同案或不同案。B=1，C=1，都同案。符合。

CD仅有一人作案。C=1，D=0，C作案，D没作案。符合。

若D没参与则E也没参与。D=0，E=0，都没参与。符合。

结论：ABCF是案犯。

如以上回答内容为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！

点此我要举报以上问答信息