德摩根定律是逻辑学中的基本定理,揭示了逻辑运算中否定与合取(与)及析取(或)的关系。具体来说,德摩根定律包括两个公式:
非 (P 且 Q) = 非 P 或 非 Q 非 (P 或 Q) = 非 P 且 非 Q