In propositional logic and boolean algebra, De Morgan's laws are a pair of transformation rules that are both valid rules of inference. The rules allow the expression of conjunctions and disjunctions purely in terms of each other via negation.
The rules can be expressed in English as:
The negation of a conjunction is the disjunction of the negations.
The negation of a disjunction is the conjunction of the negations.
The rules can be expressed in formal language with two propositions P and Q as:
where:
- ¬ is the negation operator (NOT)
- is the conjunction operator (AND)
- is the disjunction operator (OR)
- ⇔ is a metalogical symbol meaning "can be replaced in a logical proof with"
Applications of the rules include simplification of logical expressions in computer programs and digital circuit designs. De Morgan's laws are an example of a more general concept of mathematical duality.
Read more about De Morgan's Laws: Formal Notation, History, Informal Proof, Formal Proof, Extensions
Famous quotes containing the words morgan and/or laws:
“On like the wind they hurried, and Morgan rode in advance;
Bright were his eyes like live coals, as he gave me a sideways
glance;
And I was just breathing freely, after my choking pain,
When the last one of the troopers suddenly drew his rein.”
—Constance Fenimore Woolson (1840–1894)
“I was not at all worried about finding my doctor boring; I expected from him, thanks to an art of which the laws escaped me, that he pronounce concerning my health an indisputable oracle by consulting my entrails.”
—Marcel Proust (1871–1922)