Question

某地发生一起凶案，经分析，凶手是两人合谋。有初步确定A、B、C、D、E五人是嫌疑犯，并了解如下情况

1.A、D二人中至少有一人是凶手。
2.如果D是凶手，E一定是凶手。
3.B只有跟C在一起时，才参与作案。
4.如果B不是凶手，那么A也不可能是凶手。
5.C没有作案时间。
究竟谁是凶手？
写出推导过程（用假言推理与联言推理）

Answer 1

从5可知，c不是凶手
然后从3可知，由于c不是，b也不是凶手
然后从4可知，A也不是凶手。
只剩下DE，符合2人合谋和1，2的条件。
所以凶手是DE

Answer 2

.C没有作案时间。B只有跟C在一起时，才参与作案，因此B不是凶手。B不是凶手，那么A也不可能是凶手。因此D是凶手，D是凶手，E一定是凶手。DE一定是凶手.

Answer 3

这是大学学的形式逻辑的题目
A或D
D—>E
B<—C
非B—>非A
非C
将第三个条件和最后一个条件结合，得出，B不可能作案，再联系第四个条件，可以得出，A不可能作案，再看第一个条件，得出，D作案，再看第二个条件，得出E作案。所以D,E是凶手

Answer 4

从5可知，c不是凶手
然后从3可知，由于c不是，b也不是凶手
然后从4可知，A也不是凶手。