\də mˈɔːɡənz θˈi͡əɹəm], \də mˈɔːɡənz θˈiəɹəm], \d_ə m_ˈɔː_ɡ_ə_n_z θ_ˈiə_ɹ_ə_m]\
Definitions of DEMORGAN'S THEOREM
Sort: Oldest first
A logical theorem which states that the complementof a conjunction is the disjunction of the complements orvice versa. In symbols:not (x and y) = (not x) or (not y)not (x or y) = (not x) and (not y)E.g. if it is not the case that I am tall and thin then I ameither short or fat (or both). The theorem can be extended tocombinations of more than two terms in the obvious way.The same laws also apply to sets, replacing logical complementwith set complement, conjunction ("and") with setintersection, and disjunction ("or") with set union.A (C) programmer might use this to re-writeif (!foo && !bar) ...asif (! (foo || bar)) ...thus saving one operator application (though an optimisingcompiler should do the same, leaving the programmer free touse whichever form seemed clearest).
By Denis Howe
Word of the day
Dorsal Root Ganglia
- ganglia located on dorsal roots within vertebral column. ganglion cells are pseudounipolar. single primary bifurcates sending peripheral process to carry sensory information from the periphery and a central branch which relays that spinal cord or brain.