我想更好地理解布尔等价,但这个例子让我有点卡住了。
我指的是这个网站: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
答案 0 :(得分:1)
当你试图将它从实际表达式减少到单个字母变量时,你会感到困惑。在引用实际链接时,您使用的变量似乎可以映射到原始表达式,如下所示:
A = speed > 2000
B = memory > 512
C = speed <= 2000
D = memory <= 512
如果你看一下,C
等于!A
而D
等于!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。