De Morgan’s Laws
De Morgan’s Laws are essential rules in mathematics that relate the complement of unions and intersections in set theory, and the negation of logical operations in Boolean algebra. These laws help simplify complex expressions and are widely used in algebraic proofs, logic design, and computer science. In sets, they show how the complement of a union is the intersection of complements, and vice versa. Understanding De Morgan’s Laws is key to mastering mathematical logic and set manipulation.
1.0What is De Morgan’s Law? (De Morgan's Law Definition)
De Morgan’s Laws describe how the complement of the union and intersection of two sets relate to each other. Formally, in set theory:
- The complement of the union of two sets is equal to the intersection of their complements.
- The complement of the intersection of two sets is equal to the union of their complements.
In symbols, these laws are expressed as :
De Morgan’s law formula:
Here, A and B are sets, A^c denotes the complement of set A, ∪ is union, and ∩ is intersection.
2.0De Morgan’s Law in Sets (Demorgan Law in Sets)
In set theory, De Morgan’s Laws help us simplify expressions involving complements, unions, and intersections. These laws reveal an elegant symmetry between union and intersection under complementation.
Example (Demorgan Law Example):
Let’s consider two sets:
- A = {1, 2, 3}
- B = {3, 4, 5}
- Universal set U = {1, 2, 3, 4, 5, 6}
Find :
- A ∪ B = {1, 2, 3, 4, 5}
- So,
Now, find :
Thus, , which confirms De Morgan’s first law.
3.0De Morgan’s Law in Boolean Algebra (Demorgan Law Boolean Algebra)
De Morgan’s Laws are also fundamental in Boolean algebra, where they describe the relationship between logical operators AND and OR under negation :
These correspond exactly to the set theory laws when interpreting union as OR and intersection as AND.
4.0Visualizing De Morgan’s Laws: Venn Diagrams and Truth Tables
De Morgan's Law Venn Diagram
A Venn diagram is a great way to visualize De Morgan’s Laws in set theory.
- The shaded region representing is exactly the area outside both A and B.
- This area matches the intersection of and .
Similarly, covers everything outside the overlapping part of A and B, which equals the union of and .
5.0De Morgan's Law Truth Table
In Boolean algebra, the truth table confirms the equivalence by listing all truth values for A and B and their combinations.
From the table, and always have the same truth values.
6.0De Morgan’s Law Statement and Proof
Statement:
Proof for :
To prove two sets are equal, show that each is a subset of the other:
- If . Thus, , which means .
- If , then and . So, , which means . Hence, .
Therefore, .
7.0De Morgan’s Law Formula (Recap)
8.0Applications of De Morgan's Laws
- Digital circuit design and logic gate simplification
- Set theory proofs in mathematics
- Programming: logic operations in conditions
- Database queries: transforming NOT with AND/OR
- Mathematical logic and theorem proving
9.0Solved Examples on De Morgan’s Laws
Example 1: Given: Universal set U = {1, 2, 3, 4, 5, 6, 7, 8},
A = {1, 2, 3, 4},
B = {3, 4, 5, 6}.
Find and verify using De Morgan’s law.
Solution:
- Calculate A ∩ B:
A ∩ B = {3, 4}
- Find complement :
- Find and :
- Find union :
Since , De Morgan’s law holds.
Example 2: Simplify the expression: using De Morgan’s Law.
Solution:
By De Morgan’s law in Boolean algebra:
So the simplified expression is:
10.0Practice Questions on De Morgan’s Laws
- Given U = {a, b, c, d, e, f}, A = {a, c, e}, B = {b, c, d}, verify .
- Show that using a truth table.
- Simplify the expression using De Morgan’s Laws.
Frequently Asked Questions
Join ALLEN!
(Session 2026 - 27)