C++协助破案问题
摘要：
假设已经查清，有A、B、C、D、E五个嫌疑人可能参与制造了一起抢劫银行案，但是不知道其中哪几个是真正的案犯。不过，有确凿证据表明：1.如果A参与了作案，则B一定也会参与；2.B和C两个人中只有一人参与了作案；3.C和D要么都参与了作案，要么都没有参与；4.D和E两个人中至少有一个人参与作案；5.如果E作案，则A和D一定参与作案。分析：对于这样的逻辑推理题，我们可以用数理逻辑中的表达式表示上述论断：1，A->B2，( B /\ -C) \/ (-B /\ C)3，(C /\ D) \/ (-C /\ -D)4，(D /\ E) \/ (-D /\ E) \/ (D /\ -E)5，E-&g 阅读全文
posted @ 2014-03-14 23:23 theCambrian.cpp 阅读(449) 评论(0) 推荐(0) 编辑
