教甄◆資訊科技概論專業(電腦科)題庫下載題庫

在命題邏輯和邏輯代數中，德摩根定律（英語：De Morgan's laws，或稱笛摩根定理、對偶律）是關於命題邏輯規律的一對法則^[1]。

19世紀英國數學家奧古斯塔斯·德摩根首先發現了在命題邏輯中存在著下面這些關係：

{displaystyle neg (pland q)equiv (neg p)lor (neg q)}{displaystyle neg (plor q)equiv (neg p)land (neg q)}

即：

非（ {displaystyle p} 且 {displaystyle q} ）等價於（ 非 {displaystyle p} ）或（ 非 {displaystyle q} ）非（ {displaystyle p} 或 {displaystyle q} ）等價於（ 非 {displaystyle p} ）且（ 非 {displaystyle q} ...

在命題邏輯和邏輯代數中，德摩根定律（英語：De Morgan's laws，或稱笛摩根定理、對偶律）是關於命題邏輯規律的一對法則^[1]。

19世紀英國數學家奧古斯塔斯·德摩根首先發現了在命題邏輯中存在著下面這些關係：

{displaystyle neg (pland q)equiv (neg p)lor (neg q)}{displaystyle neg (plor q)equiv (neg p)land (neg q)}

即：

非（ {displaystyle p} 且 {displaystyle q} ）等價於（ 非 {displaystyle p} ）或（ 非 {displaystyle q} ）非（ {displaystyle p} 或 {displaystyle q} ）等價於（ 非 {displaystyle p} ）且（ 非 {displaystyle q} ）