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.
De Morgan’s Laws describe how the complement of the union and intersection of two sets relate to each other. Formally, in set theory:
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.
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:
Find :
Now, find :
Thus, , which confirms De Morgan’s first law.
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.
A Venn diagram is a great way to visualize De Morgan’s Laws in set theory.
Similarly, covers everything outside the overlapping part of A and B, which equals the union of and .
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.
Statement:
Proof for :
To prove two sets are equal, show that each is a subset of the other:
Therefore, .
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:
A ∩ B = {3, 4}
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:
(Session 2025 - 26)