在命题逻辑和逻辑代数中,德·摩根定律是关于命题逻辑规律的一对法则。
对应的公式:
非
(
P
与
Q
)
=
(
非
P
)
或
(
非
Q
)
A
B
‾
=
A
‾
+
B
‾
非
(
P
或
Q
)
=
(
非
P
)
与
(
非
Q
)
A
+
B
‾
=
A
‾
B
‾
非(P 与 Q) = (非 P) 或 (非 Q){\quad}\overline{A{\;}B}=\overline{A}+\overline{B} \\非(P 或 Q) = (非 P) 与 (非 Q){\quad}\overline{A+B}=\overline{A} \;\overline{B}
非(P与Q)=(非P)或(非Q)AB=A+B非(P或Q)=(非P)与(非Q)A+B=AB
对应的逻辑门: