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

Name of axiom that tells you that (A OR B) is NOT(NOT A AND NOT B)

我脑子有问题。

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

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

我正要复习一些 C 代码,但不记得这个叫什么了。

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

"not (A and B)" 等同于“(不是 A)或(不是 B)”

"not (A or B)" 与“(不是 A)和(不是 B)”相同