| 释义 |
de mor·gan's theorem
\də̇ˈmȯrgənz-, dēˈ-\ noun
Usage: usually capitalized D&M
Etymology: after Augustus De Morgan died 1871 English mathematician
: one of a pair of theorems in logic: the denial of a conjunction is equivalent to the alternation of the denials and the denial of an alternation is equivalent to the conjunction of the denials |