Question

这个问题可能看起来很吵，但我的问题是：这两个陈述在逻辑上是一样的吗？

int a;
int b;
int c;


if (!a && !b && !c)
//do something



if (!(a || b || c))
//do something

Answer 1

真值表对于理解逻辑非常有用。

#include <iostream>

using std::cout;
using std::endl;

int main(void) {
    int a;
    int b;
    int c;
    bool differ = false;

    cout << "a b c x y\n";
    for (a = 0; a <= 1; a++) {
        for (b = 0; b <= 1; b++) {
            for (c = 0; c <= 1; c++) {
                bool x = (!a && !b && !c);
                bool y =  (!(a || b || c));
                differ = differ || (x != y);
                cout << a << " " << b << " " << c << " " << x << " " << y << "\n";
            }
        }
    }
    if (differ) {
        cout << "they differ" << endl;
    } else {
        cout << "they are the same" << endl;
    }
    return 0;
}

实际上，由于De Morgan的法律，它们是一样的：

  !a && !b && !c
= !(a || b) && !c
= !((a || b) || c)
= !(a || b || c)

（=这里不是C ++赋值运算符）

Answer 2

没有。在您的第一个声明中，必须满足所有条件。＆安培;＆安培;运算符意味着所有都应为true才能使结果为true，否则将为false。在您的第二个陈述中，如果一个或多个条件为真，则条件将完成。

很抱歉有一个非常简短的解释。

C ++逻辑运算符Q.

2 个答案: