De-Morgan’s Laws are fundamental rules in set theory and Boolean algebra that help simplify complex expressions involving union, intersection, and complements of sets. These laws are especially useful when working with Venn diagrams, logic statements, and operations on sets in mathematics. Understanding De Morgan's Laws for sets builds a strong foundation for higher-level topics like relations and functions, probability, and computer science logic. In this article, we’ll explain the meaning of De Morgan’s Laws, explore their mathematical formulas, and look at real-world examples to understand them better. In this article, you will learn everything you need to know about De Morgan’s Laws with examples and step-by-step explanations.
This Story also Contains
In set theory, the relationship between union, complements, and intersection is provided by De-Morgan's law. It provides the relationship between AND, OR, and the variable's complements in Boolean algebra; in logic, it provides the relationship between AND, OR, or the statement's negation. De Morgan's Law allows us to optimise different Boolean circuits that use logic gates to do the same task with a minimum amount of equipment.
According to De-Morgan's Laws:
De Morgan's Law Formula outlines two fundamental rules in set theory that connect the operations of union, intersection, and complement. These laws are essential for simplifying set expressions and solving problems in logic, Boolean algebra, and mathematics.
The first law of De Morgan states that the complement of the union of two sets is equal to the intersection of their individual complements. This principle is widely applied in set theory problems, Venn diagrams, and logic gate circuits.
If $A$ and $B$ are two sets, then:
$(A \cup B)' = A' \cap B'$
Where:
This is also known as De-Morgan's Law of Union.
The second law of De Morgan states that the complement of the intersection of two sets is equal to the union of their individual complements. This law helps in transforming and simplifying logical and mathematical statements involving negations.
If $A$ and $B$ are two sets, then:
$(A \cap B)' = A' \cup B'$
Where:
This is also referred to as De-Morgan's Law of Intersection.
De-Morgan’s Laws in set theory explain how the complement of unions and intersections of sets behaves under set operations. These laws help us simplify set expressions and are widely used in mathematics, logic, and computer science.
expressions and are widely used in mathematics, logic, and computer science.
De-Morgan’s Law of Union states:
$(A \cup B)' = A' \cap B'$
This means that the complement of the union of two sets $A$ and $B$ is equal to the intersection of their individual complements.
Let $x \in (A \cup B)'$
Then:
$x \in (A \cup B)' \Leftrightarrow x \notin (A \cup B)$
$\Leftrightarrow x \notin A \text{ and } x \notin B$
$\Leftrightarrow x \in A' \text{ and } x \in B'$
$\Leftrightarrow x \in (A' \cap B')$
$(A \cup B)' = A' \cap B'$
So, any element that does not belong to $A \cup B$ must belong to both $A'$ and $B'$, proving the sets are equal.
Generalised Form (for n sets):
$\left( \bigcup_{i=1}^n A_i \right)' = \bigcap_{i=1}^n A_i'$
This generalisation holds for any number of sets.
De-Morgan’s Law of Intersection states:
$(A \cap B)' = A' \cup B'$
This means that the complement of the intersection of two sets $A$ and $B$ is equal to the union of their individual complements.
Let $x \in (A \cap B)'$
Then:
$x \in (A \cap B)' \Leftrightarrow x \notin (A \cap B)$
$\Leftrightarrow x \notin A \text{ or } x \notin B$
$\Leftrightarrow x \in A' \text{ or } x \in B'$
$\Leftrightarrow x \in (A' \cup B')$
$(A \cap B)' = A' \cup B'$
Thus, any element that is not common to both sets $A$ and $B$ must be in at least one of their complements, proving the identity.
Generalised Form (for n sets):
$\left( \bigcap_{i=1}^n A_i \right)' = \bigcup_{i=1}^n A_i'$
These formal proofs confirm that De Morgan’s laws in set theory hold true and are useful for simplifying complex set expressions and logic operations.
De-Morgan's Laws describe how complements interact with unions and intersections. These logical equivalences can be verified using truth tables.
Statement:
The complement of the union of two sets is equal to the intersection of their individual complements.
$(A \cup B)' = A' \cap B'$
Truth Table:
$A$ | $B$ | $A \cup B$ | $(A \cup B)’$ | $A'$ | $B'$ | $A' \cap B'$ |
1 | 1 | 1 | 0 | 0 | 0 | 0 |
1 | 0 | 1 | 0 | 0 | 1 | 0 |
0 | 1 | 1 | 0 | 1 | 0 | 0 |
0 | 0 | 0 | 1 | 1 | 1 | 1 |
Statement:
The complement of the intersection of two sets is equal to the union of their individual complements.
$(A \cap B)' = A' \cup B'$
Truth Table:
$A$ | $B$ | $A \cap B$ | $(A \cap B)'$ | $A'$ | $B'$ | $A' \cup B'$ |
1 | 1 | 1 | 0 | 0 | 0 | 0 |
1 | 0 | 0 | 1 | 0 | 1 | 1 |
0 | 1 | 0 | 1 | 1 | 0 | 1 |
0 | 0 | 0 | 1 | 1 | 1 | 1 |
Let us understand De-Morgan’s Laws using a simple example.
Let the universal set be:
$U = \{7, 8, 9, 10, 11, 12, 13\}$
Let the two subsets be:
$A = \{11, 12, 13\}$
$B = \{7, 8\}$
We have: $A \cup B = \{7, 8, 11, 12, 13\}$
Therefore,
$(A \cup B)' = U - (A \cup B) = {9, 10}$
Also, $A' = U - A = \{7, 8, 9, 10\}$
$B' = U - B = \{9, 10, 11, 12, 13\}$
So, $A' \cap B' = \{9, 10\}$
Hence, $(A \cup B)' = A' \cap B'$
We have:
$A \cap B = \phi$
So, $(A \cap B)' = U - \phi = U = {7, 8, 9, 10, 11, 12, 13}$
Also, $A' = {7, 8, 9, 10}$
$B' = {9, 10, 11, 12, 13}$
So, $A' \cup B' = {7, 8, 9, 10, 11, 12, 13}$
Thus, $(A \cap B)' = A' \cup B'$
De-Morgan's Laws are fundamental rules in Boolean Algebra that express how logical operations interact with negation. These laws help simplify logic circuits and Boolean expressions.
The two key formulas are:
Let’s look into the proof of both De-Morgan’s Laws using Boolean identities:
We start with: $\overline{A + B} = 1 - (A + B)$ (Using the complement property)
= $(1 - A) \cdot (1 - B)$ (Using distributive property of subtraction)
Now, by the definition of complement:
$(1 - A) = \bar{A}$ and $(1 - B) = \bar{B}$
Hence, $\overline{A + B} = \bar{A} \cdot \bar{B}$
We start with: $\overline{A \cdot B} = 1 - (A \cdot B)$ (Using the complement property)
= $(1 - A) + (1 - B)$ (Using distributive property of subtraction)
Again, using complement definitions:
$(1 - A) = \bar{A}$ and $(1 - B) = \bar{B}$
Thus, $\overline{A \cdot B} = \bar{A} + \bar{B}$
Example 1: If $(A \cup B)=P$, then evaluate $P^{\prime}$
1) $A^{\prime} \cup B$
2) $A \cap B^{\prime}$
3) $A^{\prime} \cup B^{\prime}$
4) $A^{\prime} \cap B^{\prime}$
Solution:
Using De-Morgan's Law:
$P^{\prime}=(A \cup B)^{\prime}=A^{\prime} \cap B^{\prime}$
Hence, the answer is option 4.
Example 2: Which of the following is not a property of a union of sets?
1) $A \cup(B \cup C)=(A \cup B) \cup C$
2) $A \cup B=B \cup A$
3) $(A \cup B)^c=A^c \cup B^c$
4) $(A \cap B)^c=A^c \cup B^c$
Solution:
Let $A$ and $B$ be any two sets. The union of $A$ and $B$ is the set which consists of all the elements of $A$ and all the elements of $B$, the common elements being taken only once. The symbol ' $u$ ' is used to denote the union.
Symbolically, we write $A \cup B=\{x: x \in A$ or $x \in B\}$.
De Morgan's Law -
$(A \cup B)^{\prime}=A^{\prime} \cap B^{\prime}$
Hence, option 3 is incorrect.
Hence, the answer is option 3.
Example 3: If $(A \cap B \cap C)=P$. Then evaluate $P^{\prime}$
1) $A^{\prime} \cap B^{\prime} \cap C^{\prime}$
2) $A^{\prime} \cup B^{\prime} \cup C^{\prime}$
3) $A^{\prime} \cup B^{\prime} \cap C^{\prime}$
4) $A^{\prime} \cup B^{\prime} \cap C^{\prime}$
Solution:
$P' = (A \cap B \cap C)'$
$= ((A \cap B) \cap C)'$
$= (A \cap B)' \cup C' \quad \text{(by De Morgan's Law)}$
$= A' \cup B' \cup C'$
Hence, the answer is option 2.
Example 4: If the set $A^{\prime}=\{3,5,7\}$ and $B^{\prime}=\{1,5,9\}$, then the set $(A \cup B)^{\prime}=$
1) $\{1,3,5,7,9\}$
2) $\{5,7\}$
3) $\{5\}$
4) $\{1,5,9\}$
Solution:
De Morgan's Law:
$(A \cup B)^{\prime}=A^{\prime} \cap B^{\prime}$
The intersection of $\mathrm{A}^{\prime}$ and $\mathrm{B}^{\prime}$ is $\{5\}$.
Hence, the answer is option 3.
Example 5: If $A-B=X$ and $A-C=Y$. then the simplification of $A-(B \cup C)$ is
1) $X \cap Y$
2) $X \cup Y$
3) $X-Y$
4) $Y-X$
Solution:
$P-Q=P \cap Q^{\prime}$
So,
$A - (B \cup C) = A \cap (B \cup C)'$
$A \cap (B' \cap C') = (A \cap B') \cap (A \cap C') = (A - B) \cap (A - C)$
$X \cap Y$
Hence, the answer is option 1.
To fully understand De-Morgan's Laws in set theory, it's important to first grasp the foundational set concepts they rely on. This section outlines key related topics like the roster and set-builder forms, types of sets, subsets, and operations such as difference and union. Mastery of these topics will help build the logical base needed to apply De-Morgan’s Laws accurately.
Access curated NCERT resources to strengthen your understanding of Sets. This section includes detailed solutions, revision notes, and exemplar problems from Class 11 Chapter 1, helping you build a strong foundation for exams through structured and NCERT-aligned preparation.
NCERT Solutions for Class 11 Chapter 1 Sets
Sharpen your grasp of De-Morgan's Laws in Sets with targeted practice questions. This section offers a variety of MCQs designed to test your understanding of definitions, properties, and logical applications. You’ll also find practice sets on related foundational topics to strengthen your overall command of set theory.
To practice questions based on De Morgan's Laws - Practice Question MCQ, click here.
You can practice some important topics of Sets below:
Frequently Asked Questions (FAQs)
De Morgan's Laws are named after Augustus De Morgan, a 19th-century British mathematician and logician. However, the concepts were known earlier:
In database query optimization, De Morgan's Laws are valuable tools:
In Boolean function theory, De Morgan's Laws are fundamental:
De Morgan's Laws are valuable for simplifying conditional statements:
De Morgan's Laws and the distributive property of sets are complementary:
De Morgan's Laws play a crucial role in digital circuit design:
In fuzzy set theory, De Morgan's Laws are extended but with some modifications:
While powerful, De Morgan's Laws have some limitations and potential misapplications:
De Morgan's Laws are powerful tools for proving set identities:
De Morgan's Laws have numerous practical applications, including: