莫根定律

应该是德摩根定律。

       德摩根定律是属于逻辑学的定律，德摩根定律（或称摩根定律）是形式逻辑中有关否定所描述的系统方式中的逻辑运算符对偶对的一系列法则，由此引出的关系也就被称为“德摩根二重性”。所以公式是，非（P且Q)=(非P)或（非Q),非（P或Q)=(非P)且（非Q)。

       摩根定律的实质即为拆添括号，在负号拿进拿出的过程中，还要注意△与V的变号。例如非（P且Q)=(非P)或(非Q),非（P或Q)=(非P)且（非Q)变化为，-(p^q)=-

pV-q,-(pVq)=-p^-q,从这个条件推出的结论中

如果出现矛盾，则可以断定此条件为假，反之则为真。

《2》

德·摩根定律（或称德·摩根定理）是关于命题逻辑规律的一对法则。[1]

奥古斯都·德·摩根首先发现了在命题逻辑中存在着下面这些关系：

非(P 且 Q) = (非 P) 或 (非 Q)

非(P 或 Q) = (非 P) 且 (非 Q)

德·摩根定律在数理逻辑的定理推演中，在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。