demorgan's theorem

D d

Transcription

- US Pronunciation
- US IPA

- US Pronunciation
- US IPA

Definition of demorgan's theorem words

noun Technical meaning of demorgan's theorem (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. A (C) 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). 1

Just one definition for demorgan's theorem

Information block about the term

Parts of speech for Demorgan's theorem

noun

adjective

verb

adverb

pronoun

preposition

conjunction

determiner

exclamation

Full grammatical hierarchy of Demorgan's theorem

See also

All definitions of demorgan's theorem

Matching words

Was this page helpful?

Yes No

Thank you for your feedback! Tell your friends about this page

Tell us why?