摩根定理(Morgan’s Law)是一条逻辑运算规律,对于任意命题A和B,它有两个不同但等价的表述方式:
(1) 非(A 且 B) 等价于 非A 或 非B。
(2) 非(A 或 B) 等价于 非A 且 非B。
换句话说,摩根定理指出取一个复合命题的否定与将这个复合命题中的“与”改为“或”,或者将这个复合命题中的“或”改为“与”,所得到的两个命题是等价的。摩根定理常用于数理逻辑、布尔代数、电路设计等领域,并且在程序设计中也经常用到。
例如在编程中的使用:
if (!a && !b) {
...
}
可以简化成下面这样
if (!(a || b)) {
...
}