DeMorgan's theorem definition logic
A logical theorem
which states that the complement
of a conjunction
is the disjunction
of the complements or vice 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 am either short or fat (or both). The theorem can be extended to combinations of more than two terms in the obvious way.
The same laws also apply to sets, replacing logical complement with set complement, conjunction ("and") with set intersection, and disjunction ("or") with set union.
) programmer might use this to re-write
if (!foo && !bar) ... as if (!(foo || bar)) ...
thus saving one operator application (though an optimising compiler
should do the same, leaving the programmer free to use whichever form seemed clearest).