【C语言逻辑题】谋杀案凶手是谁？——经典矛盾推理题详解

一、题目背景

日本某地发生了一件谋杀案，警察通过排查确定杀人凶手必为4个嫌疑犯的一个。

以下为4个嫌疑犯的供词：

• A说：不是我。
• B说：是C。
• C说：是D。
• D说：C在胡说。

已知3个人说了真话，1个人说的是假话，请根据这些信息，确定谁是凶手。

──────────────────────────────────────────────────

二、手算推理：利用矛盾关系快速锁定凶手

1. 核心矛盾点

C说"凶手是D"，D说"C在胡说"（即"凶手不是D"），这两人的证词完全矛盾，必然一真一假。

2. 锁定假话者

题目中明确只有1个人说假话，因此假话必然在C和D之间，剩下的A和B说的一定是真话。

3. 推导结论

• A说"不是我"为真 → 凶手不是A。
• B说"是C"为真 → 凶手就是C。

4. 验证结果

此时四人的真假情况：

• A：真
• B：真
• C：假（凶手不是D）
• D：真（C确实在胡说）

✅ 完全符合"3真1假"的条件，推理成立。

──────────────────────────────────────────────────

三、C语言暴力枚举解法（适合新手理解）

思路说明

枚举A、B、C、D四人，依次假设他们是凶手，统计此时真话的数量，找到满足"3真1假"的那个。

完整代码

#include <stdio.h>

int main()
{
char killer; // 凶手变量，枚举A~D

// 依次假设A、B、C、D是凶手
for (killer = 'A'; killer <= 'D'; killer++)
{
int truth_count = 0; // 统计真话数量

// 1. A说：不是我
if (killer != 'A')
truth_count++;

// 2. B说：是C
if (killer == 'C')
truth_count++;

// 3. C说：是D
if (killer == 'D')
truth_count++;

// 4. D说：C在胡说（即凶手不是D）
if (killer != 'D')
truth_count++;

// 找到真话数为3的情况，输出凶手
if (truth_count == 3)
{
printf("凶手是：%c\n", killer);
break;
}
}

return 0;
}

运行结果

凶手是：C

──────────────────────────────────────────────────

四、代码逐行解析

──────────────────────────────────────────────────

五、拓展与总结

1. 解题技巧：遇到矛盾关系的证词，优先用"矛盾法"缩小范围，比暴力枚举效率更高。

2. 编程思路：把逻辑题转化为代码的核心，就是将自然语言的证词转化为可计算的布尔表达式。

3. 易错点提醒：暴力枚举时，要确保覆盖所有可能的凶手，避免遗漏或逻辑错误。