编程与摩根定理

摩根定理(Morgan’s Law)是一条逻辑运算规律，对于任意命题A和B，它有两个不同但等价的表述方式：

(1) 非(A 且 B) 等价于 非A 或 非B。

(2) 非(A 或 B) 等价于 非A 且 非B。

换句话说，摩根定理指出取一个复合命题的否定与将这个复合命题中的“与”改为“或”，或者将这个复合命题中的“或”改为“与”，所得到的两个命题是等价的。摩根定理常用于数理逻辑、布尔代数、电路设计等领域，并且在程序设计中也经常用到。

例如在编程中的使用：

if (!a && !b) {
    ...
}

可以简化成下面这样

if (!(a || b)) {
    ...
}