这些布尔表达式(真值表)如何等效?

时间:2014-04-06 05:52:28

标签: boolean expression boolean-expression truthtable

我想更好地理解布尔等价,但这个例子让我有点卡住了。

我指的是这个网站:http://chortle.ccsu.edu/java5/Notes/chap40B/ch40B_9.html

这是有意义的,但不是同时...它表示它们是等价的,但是真/假值不会加起来/对齐,使得它们等同于表显示它们是。有人可以向我解释一下吗?

!(A&& B)< - 第一个表达

(C || D)< - 第二表达

最后一列指的是两个表达式的等价性,是的,根据表格它们是等价的。但是,我只是不知道这两个表达式是如何相同的。如果A = F,则B = F - > T,不是C = F,D = F - > T也是?

A   B     C   D
--------------------
F   F     T   T   T
F   T     T   F   T
T   F     F   T   T
T   T     F   F   F

2 个答案:

答案 0 :(得分:1)

当你试图将它从实际表达式减少到单个字母变量时,你会感到困惑。在引用实际链接时,您使用的变量似乎可以映射到原始表达式,如下所示:

A = speed > 2000
B = memory > 512
C = speed <= 2000
D = memory <= 512

如果你看一下,C等于!AD等于!B。所以表达式(C || D)实际上是!((!A) || (!B))。根据德摩根定律,这与!(A && B)相同。

答案 1 :(得分:0)

该表解释了!(A&amp;&amp; B)相当于!A || !B中。列C和D似乎定义为C =!A和D =!B。最后一列是C || d

所以A = F,B = F当然意味着!(A&amp;&amp; B)。在这种情况下,C = D = T,C ||也是如此D = T。