Recipe

Simplify a set expression using identities

Use when: you have a set expression built from union, intersection, complement, or difference that a named identity can shorten

Goal: an equivalent, shorter expression, with each rewrite justified by the identity's name

Taught in Set identities

Quick recipe

Look for a complement wrapped around a union or intersection
Cancel any double complement
Apply commutative, associative, or distributive rules to regroup
Apply an identity or domination law to drop trivial terms

1
Scan the expression for a complement sitting on the outside of a union or intersection first, since De Morgan usually shortens things the most.

Example

Simplify $\overline{A \cup \overline{B}}$ : the outer complement wraps a union, so De Morgan rewrites it as $\overline{A} \cap \overline{\overline{B}}$ .
- complement of a union, like $\overline{A \cup B}$ — rewrite as $\overline{A} \cap \overline{B}$ .
- complement of an intersection, like $\overline{A \cap B}$ — rewrite as $\overline{A} \cup \overline{B}$ .
Why: De Morgan turns a complement of a whole expression into complements of the individual pieces, which are usually easier to simplify further.
2
Whenever a complement sits directly on top of another complement on the same set, they cancel completely.

Example

Continuing the example above, $\overline{\overline{B}} = B$ , so $\overline{A} \cap \overline{\overline{B}}$ becomes $\overline{A} \cap B$ .

Why: complementing twice within the same universal set restores the original set exactly, so the double complement contributes nothing.
3
If the expression can be reordered, regrouped, or spread across another operation, match its shape to whichever identity fits.

Example

For $A=\{1,2,3\}$ , $B=\{2,4\}$ , $C=\{3,5\}$ : $B \cup C = \{2,3,4,5\}$ , so $A \cap (B \cup C) = \{2,3\}$ . Also $A \cap B = \{2\}$ and $A \cap C = \{3\}$ , so $(A \cap B) \cup (A \cap C) = \{2,3\}$ , matching.
- one operation distributes across another, like $A \cap (B \cup C)$ — expand it into $(A \cap B) \cup (A \cap C)$ .
- terms are already combined but out of a convenient order — reorder or regroup them using commutativity or associativity before comparing both sides.
Why: matching the expression's shape to the identity that fits it is what actually reorganizes or shortens the expression, rather than guessing.
4
Replace a union with the empty set, or an intersection with U, since neither one changes the result.
- $A \cup \varnothing$ , or $A \cap U$ — both simplify to A.
- $A \cup U$ , or $A \cap \varnothing$ — these simplify to U or to the empty set instead.
Why: these two laws remove terms that contribute nothing to the union or intersection, shortening the expression without changing its meaning.

Common mistakes

Applying De Morgan to only one side of a complement, forgetting to flip the operation and complement each piece.
Distributing intersection across union (or the reverse) with the sets copied in the wrong order.
Checking an identity on one numeric example and treating that single check as a full proof.
Confusing A union U (always U) with A union the empty set (always A).