摩根定理。它是关于命题逻辑规律的一对法则。在命题逻辑中存在着下面这些关系：
非(P 且 Q) = (非 P) 或 (非 Q)
非(P 或 Q) = (非 P) 且 (非 Q)
摩根定律在数理逻辑的定理推演中，在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。
反演定理。对于任意一个逻辑式Y，若将其中所有的“与”换成“或”，“或”换成“与”，0换成1，1换成0，原变量变成反变量，反变量变成原变量，则得到一个新的逻辑式即为逻辑式Y的非，这个规律称为反演定理。
假设你要证明：~(A v B) = ~A ^ ~B，则可构造真值表如下：
A B (A v B) ~(A v B) ~A ~B ~A ^ ~B
0 0 0 1 1 1 1
0 1 1 0 1 0 0
1 0 1 0 0 1 0
1 1 1 0 0 0 0
可见，在A和B的所有可能取值下，~(A v B)与~A ^ ~B的值都相同，故要证明的式子成立。
对于 ~(A ^ B) = ~A v ~B 的情形可以同样的方法证明。
以上就是关于摩根定理什么时候学的全部的内容，包括:摩根定理什么时候学的、如何用真值表证明摩根定理、等相关内容解答，如果想了解更多相关内容，可以关注我们，你们的支持是我们更新的动力！
