algorithm - 解决此类逻辑问题的方法是什么？

听起来像这样的问题的处理方法是什么:

A说B说谎

B说C说谎

D说B说谎

C说B说谎

E说A和D说谎

有多少谎言，有多少说实话？
我不是在寻找以上问题的答案，而是在寻找解决此类问题的方法。非常感谢。

最佳答案

A -> !B
B -> !C
D -> !B
C -> !B
E -> !A & !D

提醒:

X -> Y  <=>  !X | Y

将5个等式转换为逻辑命题，您将找到答案。