反演律公式

反演律，也被稱為德·摩根定律，是數理邏輯中的一個重要定理。它包括兩個部分：

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

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

這兩個公式在數理邏輯的定理推演中，計算機的邏輯設計中以及數學的集合運算中都起著重要的作用。