DEMORGAN'S THEOREM
\də mˈɔːɡənz θˈi͡əɹəm], \də mˈɔːɡənz θˈiəɹəm], \d_ə m_ˈɔː_ɡ_ə_n_z θ_ˈiə_ɹ_ə_m]\
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
Proto Oncogene Proteins c erbB 2
- cell surface protein-tyrosine kinase that is found to be overexpressed in significant number adenocarcinomas. It has extensive homology can heterodimerize EGF EPIDERMAL GROWTH FACTOR), 3 receptor (RECEPTOR, 3) and the 4 receptor. Activation of erbB-2 receptor occurs during heterodimer formation with a ligand-bound erbB family members. EC 2.7.11.-.