说谎问题

有甲、乙、丙三人，每人或者说真话，或者说假话。 
        甲说：“乙说假话。” 
        乙说：“甲和丙是同一种人。” 
        问甲、乙、丙三人谁说真话，谁说假话？ 
        分析： 
        ① 本题看似漫无边际，无法入手，不知道怎么与C语言程序设计挂钩。但只要和“真”、“假”、逻辑表达式联系起来，脉络就清晰起来。 
        ② 这里用整型变量a、b、c表示甲、乙、丙三人说话的真假，当变量值为1时表示此人说真话，变量值为0时表示此人说假话。
        甲说：“乙说假话。”这有两种可能：甲说的是真话，而乙确实说假话，即： 
        a==1&&b==0 等价于a&&!b 
        或者甲说的是假话，而乙说真话，即： 
        a==0&&b==1 等价于!a&&b 
        由此可得逻辑表达式： 
        a&&!b||!a&&b 
        乙说：“甲和丙是同一种人。”这有两种可能：乙说真话，而甲和丙确是同一种人，即： 
        b==1&&a==c 等价于b&&a==c 
        或者乙说的是假话，而甲和丙不是同一种人，即： 
        b==0&& a!=c 等价于!b&& a!=c 
        由此可得逻辑表达式： 
        b&&a==c||!b&& a!=c 
        上述两个逻辑表达式是“与”的关系（因为该满足的条件都要满足，所以是“与”的关系），最终得到确定谁说真话的逻辑表达式         (a&&!b||!a&&b)&&( b&&a==c||!b&& a!=c) 
        ③ 穷举每个人说真话或说假话的各种情况，用上述表达式测试，使上述表达式的值为1（真）的情况就是正确的结果。 
        程序如下： 
        main( ) 
        { 
         int a,b,c; 
         for(a=0;a<=1;a++) 
         for(b=0;b<=1;b++) 
         for(c=0;c<=1;c++) 
         {if((a&&!b||!a&&b)&&( b&&a==c||!b&& a!=c)) 
         printf("a=%d,b=%d,c=%d\n",a,b,c); 
         } 
        } 
        运行结果为： 
        a=0,b=1,c=0 
        a=1,b=0,c=0 
        请思考：如果题目中加入“丙说：‘甲说假话。’”，则程序如何编写？运行结果又是什么？