已知：（1）如果甲和乙是杀人犯，则丙是无罪的；（2）丙有罪，且丁的证词正确；（3）如果丁的证词正确，那么，乙就是杀人犯。问：谁是杀人犯？并写出推导过程。