德摩根定理

德摩根定理       在命題邏輯和邏輯代數中，德摩根定律(或稱德摩根定理)是關于命題邏輯規律的一對法則。奧古斯塔斯·德摩根首先發現了在命題邏輯中存在著下面這些關系: 非(P 且 Q)=(非 P)或(非 Q) 非(P 或 Q)=(非 P)且(非 Q)     …