现有张三、李四和王五3个人，张三说李四在说谎，李四说王五在说谎，而王五说张三和李四两人都在说谎。要求编程求出这3个人中到底谁说的是真话，谁说的是假话。

显然该题是一个逻辑推断问题。张三、李四和王五3个人都可能说真话，也都可能说假话，那么如何来判断他们到底谁在说谎呢？

由问题描述可得到如下3个结论：

该问题同样可用穷举法进行解决。

首先将问题分析中得到的3个分析结果用表达式表达出来。用变量x、y和z分别表示张三、李四和王五3人说话真假的情况，当x、y或z的值为1时表示该人说的是真话，值为0时表示该人说的是假话。则问题分析中的3个结论可以使用如下的表达式进行表示：

在C语言中，可以使用一个逻辑表达式来表达出一个复杂的关系。将上面的表达式进行整理获得C语言的表达式如下：

(x&&!y || !x&&y) && (y&&!z || !y&&z) && (z&&x+y==0 || !z&&x+y!=0)

下面是完整的代码：

#include<stdio.h>
int main()
{
    int x, y, z;
    for(x=0; x<=1; x++)
        for(y=0; y<=1; y++)
            for(z=0; z<=1; z++)
                if( ((x&&!y) || (!x&&y)) && ((y&&!z) || (!y&&z)) && ((z&&x==0&&y==0) || (!z&&x+y!=0)) )
                {
                    printf("张三说的是%s.\n",x?"真话":"假话");
                    printf("李四说的是%s.\n",y?"真话":"假话");
                    printf("王五说的是%s.\n",z?"真话":"假话");
                 
                }
    return 0;
}

运行结果：

张三说的是假话.
李四说的是真话.
王五说的是假话.