法律逻辑学的综合推理题

已知下列条件： （1）如果甲和乙是***人犯，那么丙是无罪的。 （2）丙有罪，且丁的证词是正确的。（3）如果丁的证词正确，那么乙就是***人犯。请问谁是***人犯？请用人工语言回答。已知下列案情： （1）只有破获01号案件，才能确认A,B,C三人都是罪犯。（2）01号案件没有被破获。（3）如果A不是罪犯，则A的供词是真的，而A说B不是罪犯。（4）如果B不是罪犯，则B的供词是真的...