解决这种逻辑问题的方法是什么？

Question

一种听起来像这样的问题的方法是什么:

A说谎

B说C谎言

D说B谎言

C说B谎言

E说A和D谎言

有多少谎言和多少说实话？我不是在寻找上述问题的答案,而是寻找解决这类问题的方法.非常感谢.

Answer 1

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

提醒:

X -> Y  <=>  !X | Y

将5个方程转换为逻辑命题,您将找到答案.

Answer 2

解决形式的方程式

X ₁ =非X ₃

X ₅ =非X ₂

等等

如果出现等式X _i = NOT X _j,则形成具有节点X _i并连接X _i和X _j的图形.

现在尝试使用广度优先搜索对图形进行双色处理.