将2-SAT公式转换为含义图

Question

两个都 维基百科 我的讲师解释了这两个令人满意的问题是如何工作的。但是，我发现很难理解这种公式：

xvy≡ ¬x-->y ≡ ¬y -->x

然后分解以下猜想：

(¬x v y) & (¬y v z) & (¬z v w) & (¬w v ¬x) & 
(x v ¬y) & (y v ¬z) & (z v ¬w) & (w v x)

被转换为“暗示图”。

这是我的尝试：

 (¬x v y) = (¬y-->x)

          = (¬x-->y)

但这是不对的，因为它们具有不同的真理表：

(¬y-->x)

1 0 0 0

1 0 1 1

0 1 1 0

0 1 1 1

(¬ x-->y)

1 0 0 0

0 1 1 1

1 0 0 0

0 1 1 1

我了解，一旦您将猜想转换为含义，如何构建含义图并找出是否令人满意（不良循环）。

有人可以清楚地解释如何分解构想的猜想吗？

Answer 1

 (¬x v y) = (¬y-->x)

$$ begin {align} text {rule：}＆a vee b＆=＆（ neg a nim b）＆ neg x x vee y＆=＆（ neg neg neg x neg x nign y nim y）y） ＆=＆（x 含义y）＆（1） end {align} $$

          = (¬x-->y)

因此，这变成了：

$$ begin {align} text {rule：}＆a nim b＆=＆（ neg b nim in n in o neg a）＆（x inse）y） x）＆（2） end {align} $$

我们得到：

$$ begin {align}（x nim y）

和真相表：

$$ left。 ＆1＆1 0＆1＆1＆1＆1＆1 1＆0＆0＆0＆0＆0 1＆1＆1＆1＆1＆1＆1＆1＆1＆1＆1＆end end {array} right。 $$

如您所见，它们是等效的。