张三说李四说谎,李四说王五说谎,王五说张三李四都说谎,到底谁说谎？

设张三为A、李四为B、王五为C，说真话为1，说谎话为0 (Ⅰ)若A=1,即张三说真话 由于张三说：“李四在说谎”可推知B=0 而李四说：“王五在说谎”，但B=0，李四说假话，则王五说的真话C=1；由于王五说：“张三和李四都在说谎”，可知A=0，B=0与A=1矛盾.则A=1时问题无解. (Ⅱ)若张三说假话，即A=0.由于张三说：“李四在说谎”，可知李四说真话，即B=1；李四说：“王五在说谎”知C=0由于王五说：“张三和李四都说谎”，而C=0，可得A=1，B=1或A=0，B=1，或A=1，B=0.只要这三种情况有一种成立，都可说明王五说的张三、李四全都说谎是假的，因在这三种情况中至少有一个人说的是真话.由这三种情况可以挑选出A=0，B=1，C=0符合要求. 结论：张三、王五说假话，李四说真话.

用推理法，我用的离散数学的知识
结论是张三和王五说谎，李四说真话
推理:
设张三说真话为A,李四说真话为B,王五说真话为C
由题意可知A→гB,гA→B(因为如果张三说谎，说明李四说的不是假话，则是真话)，B→гC,гB→C,C→гA∧гB,гC→A∨B.
①A→гB,гB→C可以推出A→C(假言三段论)
②A→C,C→гA∧гB可以推出A→гA∧гB
③A→гA∧гB即гA∨(гA∧гB)可以推出гA为真(吸收律)
④гA→B，гA可以推出B为真(假言推理)
⑤B→гC，B可以推出гC为真
所以综上，гA,B,гC三者为真，即张三说假话，李四说真话，王五说假话

你在说谎

李四

张三、王五