Research any topic before you write.

Find related topics. | Discover entities. | See connections. | Build a topical map.

De Morgan's laws: History, Formal notation & Generalising De Morgan duality

In propositional logic and Boolean algebra, De Morgan's laws, also known as De Morgan's theorem, are a pair of transformation rules that are both valid rules of inference. They are named after Augustus De Morgan, a 19th-century British mathematician. The rules allow the expression of conjunctions and disjunctions purely in terms of each other via negation.

Language: English [EN]
Use the mouse wheel or two fingers (on touchscreens) to zoom in and out of the map.
100%
More settings
100% 100% 100% 100% 100%

De Morgan's laws topic overview

The analysis highlights History, Formal notation and Generalising De Morgan duality as prominent areas in the source structure around De Morgan's laws.

Related topics
52
Source areas
8
Connected nodes
60
Extracted relationships
65
Concept neighborhoods
31
Bridge connections
60

What this topic covers Research coverage

Source areas are shown by the number of related topics found in each part of the analysis. Use smaller areas too: they can reveal specialized angles and content gaps.

Overview · 15 topics
Formal notation · 8 topics
Generalising De Morgan duality · 8 topics
Extension to predicate and modal logic · 7 topics
In intuitionistic logic · 6 topics
History · 5 topics
Proof for Boolean algebra · 2 topics
Proof for set theory · 1 topics

Smaller areas are not necessarily less important. They contain fewer connections in this analysis and can be useful for finding specialized angles or coverage gaps.

Explore all related topics Closing gaps

Browse the complete topic structure, not only the most central items. Less prominent entities and concepts can reveal missing angles, specialized context and useful research gaps. Each item opens a new analysis centered on that subject.

Overview

Formal notation

History

Proof for Boolean algebra

Proof for set theory

Generalising De Morgan duality

Extension to predicate and modal logic

In intuitionistic logic

Advanced semantic analysis

Deeper signals for content research, entity SEO and topical coverage. The plain-language headings explain what each technical view is useful for.

How De Morgan's laws connects Entity context

The extracted context around De Morgan's laws shows recurring relationship patterns in the source. For example, De Morgan's laws → Aristotle, Augustus De Morgan, De Morgan, De Morgan's, Dialectica, For, Formal Logic, George Boole, Greek, Jean Buridan, Medieval, Nevertheless, Nonetheless, Ockham, Still, Summulae, The, William Another extracted example is De Morgan's laws → Duality, EMS Press, Encyclopedia, Eric, Internet Encyclopedia, Language, Logic, Mathematics, MathWorld, Morgan's, Morgan's Laws, Philosophy, PlanetMath, Weisstein. Use these groups to spot repeated connection types before inspecting the individual relationships.

De Morgan's laws

Top relations

related to history · 18
De Morgan's laws → Aristotle, Augustus De Morgan, De Morgan, De Morgan's, Dialectica, For, Formal Logic, George Boole, Greek, Jean Buridan, Medieval, Nevertheless, Nonetheless, Ockham, Still, Summulae, The, William
related to External links · 14
De Morgan's laws → Duality, EMS Press, Encyclopedia, Eric, Internet Encyclopedia, Language, Logic, Mathematics, MathWorld, Morgan's, Morgan's Laws, Philosophy, PlanetMath, Weisstein
has application · 7
De Morgan's laws → AND, Boolean, De Morgan's, Expressions, In, Negating, OR
related to Text searching · 7
De Morgan's laws → AND, Boolean, Consider, De Morgan's, NOT, OR, The
related to Worked Example · 6
De Morgan's laws → De Morgan's, Here, It, Let's, The, Using De Morgan's
related to In computer engineering · 4
De Morgan's laws → Boolean, De Morgan's, In, Therefore
related to In intuitionistic logic · 3
De Morgan's laws → Morgan's, Specifically, Three
related to Engineering · 2
De Morgan's laws → De Morgan's, In
related to Substitution form · 2
De Morgan's laws → De Morgan's, This

Important terminology

Use these terms to understand the vocabulary surrounding the topic, not as a checklist for keyword stuffing.

Important terminology

de laws morgan's displaystyle negation logic overline conjunction disjunction cap true must form cup one set boolean also false logical

De Morgan's laws relationships Subject–Predicate–Object triples

TTTA extracted 65 structured relationships around De Morgan's laws. Examples in this analysis include this are especially useful when simplifying logical expressions in proofs → instance of → Step-by-step rewrites and De Morgan's laws → has application → De Morgan's. The table shows each extracted connection, where it came from and its confidence.

SubjectPredicateObjectConfidenceSrc
this are especially useful when simplifying logical expressions in proofsinstance ofStep-by-step rewrites0.80text
problem solvinginstance ofStep-by-step rewrites0.80text
De Morgan's lawshas applicationDe Morgan's0.60section
De Morgan's lawshas applicationBoolean0.60section
De Morgan's lawshas applicationExpressions0.60section
De Morgan's lawshas applicationIn0.60section
De Morgan's lawshas applicationNegating0.60section
De Morgan's lawshas applicationAND0.60section
De Morgan's lawshas applicationOR0.60section
De Morgan's lawsrelated to EngineeringIn0.60section
De Morgan's lawsrelated to EngineeringDe Morgan's0.60section
De Morgan's lawsrelated to External linksDuality0.60section

Related concept clusters Concept neighborhoods

The concept neighborhoods around De Morgan's laws bring nearby vocabulary together. In this analysis, examples include Morgan's, Laws and Logic. Use the clusters to find adjacent concepts and terminology that may deserve separate research.

  • De Morgan's laws
    • Morgan's
    • Laws
    • Logic
    • Conjunction
    • Morgan
    • Disjunction
    • Negation
    • Propositional
    • Duality
    • Formal
    • Displaystyle
    • Also
  • de morgan's laws
    • Morgan's
    • Laws
    • Logic
    • Conjunction
    • Morgan
    • Disjunction
    • Negation
    • Propositional
    • Duality
    • Formal
    • Displaystyle
    • Also
  • propositional logic
    • Morgan
    • Duality
    • De
    • Formal
    • May
    • Laws
    • Example
    • Operator
    • Propositional
    • Negation
    • Morgan's
    • One
  • boolean algebra
    • Algebra
    • Boolean
    • Also
    • Set
    • Disjunction
    • Expressed
    • Propositional
    • Conjunction
    • Computer
    • Duality
    • Written
    • De
  • augustus de morgan
    • Morgan's
    • Laws
    • Propositional
    • Logic
    • Conjunction
    • Morgan
    • Disjunction
    • May
    • Operator
    • Negation
    • One
    • Set
  • negation
    • Written
    • Disjunction
    • Expressed
    • Conjunction
    • True
    • May
    • Operator
    • Terms
    • Either
    • Logical
    • Displaystyle
    • Form
  • computer programs
    • Logical
    • Expressed
    • Written
    • Disjunction
    • Conjunction
    • Expressions
    • Propositional
    • Rules
    • Terms
    • Duality
    • Formal
    • Law
  • computer engineering
    • Logical
    • Expressed
    • Written
    • Disjunction
    • Conjunction
    • Expressions
    • Propositional
    • Rules
    • Terms
    • Duality
    • Formal
    • Law

Connections between topic areas Semantic bridges

For De Morgan's laws, one of the stronger structural bridges in this analysis connects De Morgan's laws with Overview. Bridges highlight paths between different parts of the map and can reveal research angles that are easy to miss in a flat list.

Min side: 3
De Morgan's laws — Overview · splits 45 ⟂ 16
De Morgan's laws — Formal notation · splits 52 ⟂ 9
De Morgan's laws — Generalising De Morgan duality · splits 52 ⟂ 9
De Morgan's laws — Extension to predicate and modal logic · splits 53 ⟂ 8
De Morgan's laws — In intuitionistic logic · splits 54 ⟂ 7
De Morgan's laws — History · splits 55 ⟂ 6
De Morgan's laws — Proof for Boolean algebra · splits 58 ⟂ 3

Map overview Semantic statistics

De Morgan's laws

Nodes61
Edges60
Triples65
Avg. degree1.97
Density0.032787
Components1

Source & methodology

TTTA analyzes the structure around De Morgan's laws to surface related topics, entities, relationships, concept neighborhoods and bridge connections. Use the map to explore areas such as History, Formal notation & Generalising De Morgan duality, including less central topics that may reveal useful research gaps. Automatically extracted connections are research leads rather than rewritten encyclopedia content.

Source: Wikipedia — De Morgan's laws · EN edition · Analysis: TopicsToTalkAbout

For writers, content strategists, SEOs, marketers and creators — from quick topic research to advanced semantic analysis.