Question
Let , , and . Find: (a) , (b) , (c) , (d) , (e) , (f) Verify De Morgan’s law: .
Solution — Step by Step
= all elements in A or B or both =
= elements in both A and B =
= elements in A but not in B =
= elements in U but not in A =
= elements in U but not in B =
Since , De Morgan’s law is verified.
Why This Works
graph TD
A["Set Operation"] --> B["Union A ∪ B"]
A --> C["Intersection A ∩ B"]
A --> D["Difference A - B"]
A --> E["Complement A'"]
B --> F["Everything in either set"]
C --> G["Only what is common"]
D --> H["In A but not in B"]
E --> I["Everything in U not in A"]
A --> J["De Morgan's Laws"]
J --> K["A ∪ B complement = A' ∩ B'"]
J --> L["A ∩ B complement = A' ∪ B'"]
Set operations are the foundation of mathematical logic. Union corresponds to “OR,” intersection to “AND,” and complement to “NOT.” De Morgan’s laws connect these operations — they say “not(A or B) = (not A) and (not B)” and “not(A and B) = (not A) or (not B).” These laws appear everywhere — in probability, logic gates, database queries, and programming.
The cardinal number formula is essential for problem solving: . We subtract the intersection because it was counted twice.
Alternative Method
For JEE problems involving three sets, use the inclusion-exclusion principle:
Draw a Venn diagram with three overlapping circles and fill in values from the innermost region outward. Start with , then fill the two-set-only regions, then single-set-only regions. This approach prevents double-counting errors.
Common Mistake
Confusing with . These are NOT the same unless . Here, but . Difference is not commutative. Also, students often forget that , not just “not A” — the complement depends on the universal set . Always check what is before computing complements.