例題：邏輯推論問題

題目：已之5人中恰有3人說謊,A：「B不說謊，E也不說謊」B：「C說謊」C：「D說謊」D：「E說謊」E：「B.C兩人都說謊」，則說謊者為


以下用 ０ 表示說謊，１ 表示說實話， － 表示未知

根據 B：「C說謊」C：「D說謊」D：「E說謊」

則顯然只有兩種狀態

（也就是由B討論起的話只有兩種可能
　可能性一：B真→C偽→D真→E偽
　可能性二：B偽→C真→D偽→E真）

ＡＢＣＤＥ　　或是　　ＡＢＣＤＥ
－１０１０　　　　　　－０１０１


因為恰有三人說謊～所以 A 可以確定是說謊，因此

ＡＢＣＤＥ　　或是　　ＡＢＣＤＥ
０１０１０　　　　　　００１０１

由上圖可以 B,C 不可能同時說謊，因此 E 必為謊言（E說：「B.C兩人都說謊」），

故為

ＡＢＣＤＥ
０１０１０

說謊者為 A,C,E