-1

ブール値の等価性をよりよく理解しようとしていますが、この例では少し行き詰まっています。

私はこのウェブサイトを参照しています: http://chortle.ccsu.edu/java5/Notes/chap40B/ch40B_9.html

それは理にかなっていますが、同時にではありません...それらは同等であると言われていますが、表が示すように、真/偽の値はそれらを同等にする方法で合計/整列しませんそれは。誰かが私にこれを説明できますか？

!(A && B) <-- 最初の式

(C || D) <-- 2 番目の式

最後の列は、2 つの式の等価性を示しています。表によると、それらは等価です。ただし、2つの式がどのように同等であるかはわかりません。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
4

2 に答える 2

1

実際の式から単一文字の変数に減らそうとすると、混乱します。実際のリンクを参照すると、使用する変数は次のように元の式にマッピングできるように見えます。

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

見てみると、Cequals!AとDequals !B。したがって、式(C || D)は事実上!((!A) || (!B)). ド・モルガンの法則により、それは と同じ!(A && B)です。

于 2014-04-06T06:25:39.127 に答える
0

この表は、!(A && B) が !A || と同等であることを説明しています。!B. 列 C および D は、C = !A および D = !B として定義されているように見えます。最後の列は C || です。D

したがって、A = F、B = F は確かに !(A && B) を意味します。この場合、C = D = T であり、C || も同様です。D = T.

于 2014-04-06T06:25:40.053 に答える