甲、乙、丙、丁四个人的血型各不相同，他们的血型是A、B、O、AB型四种中的一种。

甲说：“丙是A型。”

乙说：“丁是O型。”

丙说：“如果我是A型，丁就是O型。”

丁说：“我不是O型。”

经核查，四个人中只有一个人的说法不真实。下列选项正确的是（   ）

A、甲和乙两人的判断是不一样的，必有一假，可得出结论：丁不是O型

B、排中律表明，甲和乙两人的判断必有一真，可得出结论：丁是O型

C、如果甲的说法是真的，可得出结论：丙是A型，丁是B型

D、矛盾律表明，乙和丁两人的判断必有一假，且四人中只有一人讲话是假的，可得出结论：丁是O型