C趣味程序百例(15)誰在說謊

50.誰在說謊
     張三說李四在說謊，李四說王五在說謊，王五說張三和李四都在說謊?，F(xiàn)在問：這三人中到底誰說的是真話，誰說的是假話？
    *問題分析與算法設(shè)計
     分析題目，每個人都有可能說的是真話，也有可能說的是假話，這樣就需要對每個人所說的話進(jìn)行分別判斷。假設(shè)三個人所說的話的真假用變量A、B、C表示，等于1表示該人說的是真話； 表示這個人說的是假話。由題目可以得到：
     *張三說李四在說謊 張三說的是真話：a==1&&b==0
     或 張三說的是假話：a==0&&b==1
     *李四說王五在說謊 李四說的是真話：b==1&&c==0
     或 李四說的是假話：b==0&&c==1
     *王五說張三和李四都在說謊 王五說的是真話：c==1&&a+b==0
     或 王五說的是假話：c==0&&a+b!=0
     上述三個條件之間是“與”的關(guān)系。將表達(dá)式進(jìn)行整理就可得到C語言的表達(dá)式：
     (a&&!b||!a&&b)&&(b&&!c||!b&&c)&&(c&&a+b==0||!c&&a+b!=0)
     窮舉每個人說真話或說假話的各種可能情況，代入上述表達(dá)式中進(jìn)行推理運(yùn)算，使上述表達(dá)式均為“真”的情況就是正確的結(jié)果。
    *程序與程序注釋
    #include
    void 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&&!c||!b&&c)&&(c&&a+b==0||!c&&a+b!=0))
     {
     printf("Zhangsan told a %s.\n",a?"truth":"lie");
     printf("Lisi told a %s.\n",b?"truch":"lie");
     printf("Wangwu told a %s.\n",c?"truch":"lie");
     }
    }
    *運(yùn)行結(jié)果
     Zhangsan told a lie (張三說假話)
     Lisi told a truch. (李四說真話)
     Wangwu told a lie. (王五說假話)