Skip to content

Business Mathematics and Basic Statistics · Ch 9 — Sets — Operations and Functions

De Morgan's Laws

8

De Morgan's Laws

De Morgan's Laws describe how the complement of a union or intersection relates to the complements of the individual sets — they are among the most useful identities in this chapter, and come up constantly in later probability and logic contexts as well.

(A∪B)′=A′∩B′and(A∩B)′=A′∪B′(A \cup B)' = A' \cap B' \qquad \text{and} \qquad (A \cap B)' = A' \cup B'

In words: "the complement of a union is the intersection of the complements," and "the complement of an intersection is the union of the complements" — notice the operation flips (union becomes intersection, and vice versa) each time a complement is taken across it.

Figure 3 — Venn diagram of A = {1, 2, 3, 4} and B = {3, 4, 5, 6} within universal set U = {1,...,10} (Worked Example 7), with every element placed in its correct region
Figure 3 — Venn diagram of A = {1, 2, 3, 4} and B = {3, 4, 5, 6} within universal set U = {1,...,10} (Worked Example 7), with every element placed in its correct region

The figure above places every element of Worked Example 7's sets — U={1,…,10}U=\{1,\dots,10\}, A={1,2,3,4}A=\{1,2,3,4\}, B={3,4,5,6}B=\{3,4,5,6\} — into its correct region: 1,21, 2 inside AA only, 5,65, 6 inside BB only, and 3,43, 4 shared by both. Everything outside both circles — 7,8,9,107, 8, 9, 10, never drawn inside either circle — is exactly (A∪B)′(A \cup B)', and it is also exactly A′∩B′A' \cap B': the same region reached two different ways, which is what De Morgan's Law asserts. …

Definition 1De Morgan's Law (Union)

(A∪B)′=A′∩B′(A \cup B)' = A' \cap B' — the complement of a union equals the intersection of t …

Definition 2De Morgan's Law (Intersection)

(A∩B)′=A′∪B′(A \cap B)' = A' \cup B' — the complement of an intersection equals the union of t …