公理的名称告诉你（A或B）不是（不是A而不是B）

Question

我在这里遇到心理障碍。

告诉你

的公理/定理的名称是什么？

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

我即将审查一些C代码并且不记得这是被调用的。

Answer 1

这是De Morgan的法律。它通常表示为

＆＃34;不是（A和B）＆＃34;与＆＃34;（不是A）或（不是B）＆＃34;

相同

或

＆＃34;不是（A或B）＆＃34;与＆＃34;（不是A）和（不是B）＆＃34;

相同