Absorption
Redundant terms vanish - A OR (A AND B) = A and A AND (A OR B) = A.
Absorption removes redundancy: when a simpler term already determines the result, the more complex term contributes nothing. It's one of the most useful simplification moves because it eliminates entire subexpressions in one step.
The Absorption Laws
The absorption laws show that redundant terms can be "absorbed":
- A $\lor$ (A $\land$ B) = A (OR absorbs AND)
- A $\land$ (A $\lor$ B) = A (AND absorbs OR)
Intuitively: if you already have A, then adding "A and something" (or "A or something") doesn't change the result - A already determines it.
Simplifying with Absorption
Absorption patterns to recognize:
- A $\lor$ (A $\land$ B) = A
- (A $\land$ B) $\lor$ A = A (by commutativity)
- A $\land$ (A $\lor$ B) = A
- (A $\lor$ B) $\land$ A = A (by commutativity)
Look for a term that appears both alone AND inside a compound expression.
Absorption with Negation
There's a useful variant of absorption involving negation:
- A $\lor$ ($\neg$A $\land$ B) = A $\lor$ B
- A $\land$ ($\neg$A $\lor$ B) = A $\land$ B
The negated term "opens a door" for B when A is false (or true, respectively).
This is sometimes called the consensus or simplification law.
OR Absorption Practice
The OR absorption law: A $\lor$ (A $\land$ B) = A
If A is true, the whole expression is true (regardless of B).
If A is false, then (A $\land$ B) is also false, so the whole thing is false.
Either way, the result is just A.
AND Absorption Practice
The AND absorption law: A $\land$ (A $\lor$ B) = A
If A is false, the whole expression is false (regardless of B).
If A is true, then (A $\lor$ B) is also true, so we get true $\land$ true = true.
Either way, the result is just A.
Recognizing Absorption Patterns
Absorption applies when a term appears both:
- By itself (outside)
- Inside a compound expression (with AND or OR)
Patterns:
- A $\lor$ (A $\land$ B) = A ✓
- A $\land$ (A $\lor$ B) = A ✓
- A $\lor$ (B $\land$ C) = ? ✗ (no A inside - absorption doesn't apply)
Absorption vs Other Laws
Don't confuse absorption with:
| Pattern | Law | Result |
|---|---|---|
| A $\lor$ (A $\land$ B) | Absorption | A |
| A $\lor$ A | Idempotence | A |
| A $\lor$ $\neg$A | Complement | T |
| A $\lor$ F | Identity | A |
| A $\land$ (B $\lor$ C) | Distributivity | (A$\land$B) $\lor$ (A$\land$C) |
Absorption requires A both outside AND inside a compound.
Why Absorption Works
Why does A $\lor$ (A $\land$ B) = A?
Case 1: A = True
- A $\lor$ (A $\land$ B) = T $\lor$ (T $\land$ B) = T $\lor$ B = T
- Result: T = A ✓
Case 2: A = False
- A $\lor$ (A $\land$ B) = F $\lor$ (F $\land$ B) = F $\lor$ F = F
- Result: F = A ✓
The B term becomes irrelevant - A determines everything!
Absorption in Complex Expressions
Absorption can simplify parts of larger expressions:
- (A $\lor$ (A $\land$ B)) $\land$ C = A $\land$ C (simplify inner part first)
- X $\lor$ (Y $\land$ (Y $\lor$ Z)) = X $\lor$ Y (absorption inside, then simplify)
Look for the pattern: term + (same term combined with something).
Recognizing Absorption Opportunities
Absorption patterns to recognize:
- P $\lor$ (P $\land$ Q) = P $\leftarrow$ P absorbs P $\land$ Q
- P $\land$ (P $\lor$ Q) = P $\leftarrow$ P absorbs P $\lor$ Q
Key insight: If one term is "contained in" another, the larger term can be absorbed.
Spotting it: Look for a variable that appears both alone AND in a compound term.
Multi-Step Absorption
Complex expressions may need multiple absorption steps:
- First absorption reveals new patterns
- Reorder to expose more opportunities
- Apply absorption again
- Combine with other laws as needed
Patience and systematic checking pays off!
Boolean Algebra Synthesis
Boolean Algebra Laws Summary:
| Law | AND Form | OR Form |
|---|---|---|
| Identity | P $\land$ T = P | P $\lor$ F = P |
| Annihilation | P $\land$ F = F | P $\lor$ T = T |
| Idempotence | P $\land$ P = P | P $\lor$ P = P |
| Complement | P $\land$ $\neg$P = F | P $\lor$ $\neg$P = T |
| De Morgan | $\neg$(P$\land$Q) = $\neg$P$\lor$$\neg$Q | $\neg$(P$\lor$Q) = $\neg$P$\land$$\neg$Q |
| Absorption | P $\land$ (P$\lor$Q) = P | P $\lor$ (P$\land$Q) = P |
Plus: Commutativity, Associativity, Distributivity, Double Negation
Boolean Algebra Challenge
Simplification strategy:
- Look for complements (P $\land$ $\neg$P = F, P $\lor$ $\neg$P = T)
- Apply identity/annihilation when constants appear
- Look for idempotence (duplicate terms)
- Look for absorption opportunities
- Consider factoring or De Morgan to reveal patterns
- Repeat until no more simplifications possible
Evaluating Absorption Expressions
The absorption laws state:
- P $\land$ (P $\lor$ Q) = P
- P $\lor$ (P $\land$ Q) = P
These may seem counterintuitive at first. Evaluating them with concrete values helps build understanding of why P always "absorbs" the rest.
Choosing the Right Law
Quick reference — signature patterns:
| Law | Pattern | What to look for |
|---|---|---|
| Idempotence | A $\lor$ A, A $\land$ A | Same term repeated |
| Absorption | A $\lor$ (A $\land$ B), A $\land$ (A $\lor$ B) | Simpler term absorbs complex one containing it |
| Complement | A $\lor$ $\neg$A, A $\land$ $\neg$A | Variable with its own negation |
| Identity | A $\lor$ F, A $\land$ T | Combine with neutral constant |
| Annihilation | A $\lor$ T, A $\land$ F | Combine with dominating constant |
| De Morgan | $\neg$(A $\land$ B), $\neg$(A $\lor$ B) | Negation outside compound expr |
Ready to test your understanding?
Bitwit uses spaced repetition to help you truly master concepts like this—not just read about them. Each card generates with different values, so you can't just memorize answers.
Practice Absorption →