boolean-logic - 告诉您 (A OR B) 不是 (NOT A AND NOT B) 的公理名称

Question

我这里有心理障碍。

告诉你的公理/定理的名称是什么

(A OR B) == NOT(NOT A AND NOT B)

我正要查看一些 C 代码，但不记得它被调用了。

Answer 1

这是德摩根定律。它通常表示为

"not (A and B)" 与 "(not A) or (not B)" 相同

或者

"not (A or B)" 与 "(not A) and (not B)" 相同