第1个回答 2010-08-14
设甲说谎为A, 乙说谎为B, 丙说谎为C
甲说:“乙和丙在说谎。”乙说:“甲和丙在说谎。”丙说:“甲和乙在说谎。”,乘表示且,加表示或,~表示非
化为逻辑式为:
~A(B+C)~B(A+C)~C(A+B)
=~A~B~C(AB + AC + BC + C )(A+B)
=~A~B~C(AB + C )(A+B)
=~A~B~C(AB + AC + BC)
=~ABC + AB~C + A~BC
~ABCA没说谎, BC说谎
A~BC表示B没说谎, AC说谎
AB~C表示C没说谎, AB说谎
加号是"或者"的意思.
也就是说有且只有一人没在说谎.