法律逻辑的综合推理问题

？(1)如果A和B是凶手，那么C是无辜的。

？(2) C有罪，D的证言正确。

？(3)如果丁的证言是正确的，那么乙就是凶手。

？请问，谁是凶手？请用人工语言回答。

已知的情况如下:

？(1)只有案件01破案，才能确认甲、乙、丙都是罪犯。

？(2)案件01未解决。

？(3)如果A不是罪犯，A的供述是真实的，而A说B不是罪犯。

？(4)如果B不是罪犯，那么B的供述是真的，B说他和C是好朋友。

？(5)发现C根本不了解B。

？请问，罪犯是谁？

回答:

1.b和C是杀人犯，A不是。

2.a和B是罪犯，C无法确认。