离散数学：“张三李四王五说谎问题”

在大一下期的离散课程里，通过王建芳教授的指导，使我真正了解并体会到了离散的数学之美。

下面开始进行问题与解答的分享：

谁在说谎？

①张三说李四在说谎。

②李四说王五在说谎。

③王五说张三、李四都在说谎。

请问三人中到底谁在说谎？

这是通过真值表的方法来判断到底是谁在说谎，但下面我将会使用代码来实现结果的产生。

ls=[0,1]
for z in ls:
    for li in ls:
        for w in ls:
            s1=(li==1)
            s2=(w==1)
            s3=(z+li==2)
            if (s1+s2+s3==1and z+li+w==2):     #(s1+s2+s3==2and z+li+w==1)or(s1+s2+s3==1and z+li+w==2)or(s1+s2+s3==0and z+li+w==3)
                print("z:{},li:{},w:{}".format(z,li,w))
                #s1张三说话的真值，s2李四说话的真值，s3王五说i话的真值
                #z=1,说明张三说的真话li=0说明李四说的假话 w=1说明王五说的真话

由结果可得是李四在说谎。我们通过for循环来实现和真值表类似的功能，在此过程中，我们首先将z,li,w,进行三层循环，并在下面设置各个条件产生的结果是否符合题目的要求，然后我们通过S1,S2,S3,的真值限定以及在z，li，w三者的真值表的数据达到符合题目的要求。

通过这样的问题我们可以从中获取到一步步解析问题的快感以及收获答案的喜悦！希望这篇文章对您有帮助（本人的实力欠缺，暂且可以写到这一步，我会继续努力的！）