告诉你(A或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)"相同