logic - 如果不是(a 而不是 b)和如果(不是 a 和 b)

Question

谁能解释为什么这两个语句不相等？

if not(a and not b): 
// do some stuff


if (not a and b):
// do some stuff

我试图通过将第一条语句更改为第二条语句来使我的程序更易于理解，但它不起作用。我不完全明白为什么。

Answer 1

你应该看看 De Morgan 的 Thereom，其中一半是 ^(a):

not(p and q) -> not(p) or not(q)

就如何适用于您的情况而言，只需将 p 替换为 a 并将 q 替换为 not(b):

not(a and not b) -> not(a) or not(not(b))
                 -> not(a) or b

---

^(a) 另一半是:

not(p or q) -> not(p) and not(q)