真假问题背后的命题逻辑

今天在刷题的时候遇到这样一道题，不由得让我想到了前几天考完的离散数学，这不是一模一样吗！这道题当时看的时候一脸懵，倒不是难的我一脸懵，而是我在想这样一道逻辑推理题怎么用编程现实呢，最后看到答案才领悟，不过答案也是看了三四遍才明白。原来代码还可以这样玩~

这里使用的是穷举法，用a,b,c,d来表示每个人的名次，同时因为每人只说对了一句，所以用and连接的预测则为假，or连接的则为真，但是我自己验算的时候不加上x1,x2,x3也是行的哈，只用or条件也能判断出来

真的是长见识了，逻辑运算也能用编程实现，那还有啥不能用编程实现的呢哈哈，只是我自己学艺不精，加油！