1.
(2023高三上·牡丹江开学考)
甲、乙、丙、丁四个人的血型各不相同，他们的血型是A、B、O、AB型四种中的一种。甲说：“丙是A型。”乙说：“丁是O型。”丙说：“如果我是A型，丁就是O型。”丁说：“我不是O型。”经核查，四个人中只有一个人的说法不真实。下列选项正确的是（ ）
A . 甲和乙两人的判断是不一样的，必有一假，可得出结论：丁不是O型
B . 排中律表明，甲和乙两人的判断必有一真，可得出结论：丁是O型
C . 如果甲的说法是真的，可得出结论：丙是A型，丁是B型
D . 矛盾律表明，乙和丁两人的判断必有一假，可得出结论：丁是O型
