题目内容：

用逻辑学原理回答
两人合谋一起凶案,有五个嫌疑犯,情况如下
一,AD两人中至少有一人是凶手
二,如果D是凶手,E一定是凶手
三,B只有跟C在一起时,才参与作案
四,如果B不是凶手,那么A也不是凶手
五,C没有作案时间
问：谁是凶手,写出推导过程
要用命题推理啦,比如充分条件假言推理肯定前件式.都不对,作业也交了.谁先答选谁吧!