​​用Python判断谁是小偷并输出结果的核心逻辑是：通过遍历嫌疑人列表，结合证词的真假组合（3真1假）进行数学建模，最终用条件判断锁定唯一解。​​ 以下是实现步骤与原理详解：

1. ​​问题建模​​
   假设四名嫌疑人（如A、B、C、D）中仅一人是小偷，每人提供一条证词。例如：

   • A说“我不是小偷” → x != 'A'
   • B说“C是小偷” → x == 'C'
   • C说“D是小偷” → x == 'D'
   • D说“C在说谎” → x != 'D'
     将证词转换为布尔表达式，真值为1，假值为0。

2. ​​遍历与条件判断​​
   使用for循环遍历每个嫌疑人，统计其作为小偷时证词的真假总和。若总和为3（三真一假），则锁定目标：

   python复制
   suspects = ['A', 'B', 'C', 'D']
   for x in suspects:
       if (x != 'A') + (x == 'C') + (x == 'D') + (x != 'D') == 3:
           print(f"小偷是{x}")

3. ​​结果验证​​
   当小偷为C时：

   • A（真）、B（真）、C（假）、D（真） → 总和为3，符合条件。其他情况均不满足。

​​提示​​：此方法可扩展至更多嫌疑人或复杂证词，核心是​​将逻辑问题转化为数学表达式并利用Python的简洁语法高效求解​​。