NOT运算符的if（！value）是否与布尔代数/命题逻辑中的相同？

Question

这个问题是关于理解语言如何解释if语句的问题。 我知道， if(a)检查的truthfullness a 。

但是，当我们像这样使用NOT运算符时：

if (!a) {
    ...
}

它与布尔代数中的NOT运算符是否相同，即

----------
| a | !a |
----------
| T |  F |
| F |  T |
----------

并仍然检查真实性，还是将成功条件更改为假？

这在所有情况下都是无关紧要的，因为无论实现如何，都会导致发生相同的事情，但是我认为，如果更好地理解/理解语句，这将有助于我写得更好。

例如，如果我们看下面的if语句：

if (!(a && b))

和真值表：

----------------------------
| a | b | a & b | !(a & b) |
----------------------------
| T | T |   T   |     F    |
| T | F |   F   |     T    |
| F | T |   F   |     T    |
| F | F |   F   |     T    |
----------------------------

我们可以看到它有点复杂-因此知道我是否始终可以依赖真值表来确保if语句的正常功能将使我的困惑减少很多。

尝试猜测，我假设成功条件始终为true ，并且NOT运算符仅通过反转当前值即可与布尔代数NOT运算符完全相同。

这个对吗？

谢谢。

Answer 1

逻辑非：

'！' 如果不满足考虑的条件，则运算符返回true。 否则，它返回false。

例如，

 !A returns true if A is false, i.e. when A=0.

它总是反转其操作数的逻辑状态。 如果条件为真，则逻辑非运算符会将其设置为假。