法律逻辑学的综合推理题

已知下列条件：

? （1）如果甲和乙是杀人犯，那么丙是无罪的。

? （2）丙有罪，且丁的证词是正确的。

? （3）如果丁的证词正确，那么乙就是杀人犯。

? 请问谁是杀人犯？请用人工语言回答。

已知下列案情：

? （1）只有破获01号案件，才能确认A,B,C三人都是罪犯。

? （2）01号案件没有被破获。

? （3）如果A不是罪犯，则A的供词是真的，而A说B不是罪犯。

? （4）如果B不是罪犯，则B的供词是真的，而B说自己与C是好朋友。

? （5）现查明C根本不认识B。

? 请问谁是罪犯?

答案：

1.乙和丙是杀人犯，甲不是

2.A、B是罪犯，C不能确认