Absorption

Redundant terms vanish - A OR (A AND B) = A and A AND (A OR B) = A.

15 topics • ~1326 words

If there is a direct path to the reservoir (A), adding "A AND a detour through B" as an alternative does not change whether water reaches the destination—the direct path already handles it. The simple term absorbs the complex one.

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

Valve A bypasses the B-check line. If A is open, water flows directly. If A is closed, the inverted valve $\neg$A opens, letting B determine flow. Either way the system reduces to: A $\lor$ B.

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:

  1. By itself (outside)
  2. 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:

  1. First absorption reveals new patterns
  2. Reorder to expose more opportunities
  3. Apply absorption again
  4. Combine with other laws as needed

Patience and systematic checking pays off!

Boolean Algebra Synthesis

The spec has contradictions: "valve open AND valve closed"—impossible (complement). Redundant checks: "valve open AND valve open"—same signal (idempotence). "Flow detected OR flow detected AND pressure OK" simplifies to "flow detected" (absorption). Clean specs use these laws.

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

System logs can be simplified. "Pump A active OR Pump A active AND sensor B triggered" reduces to "Pump A active"—the extra condition is absorbed. You reduce verbose specifications to their essential logic.

Simplification strategy:

  1. Look for complements (P $\land$ $\neg$P = F, P $\lor$ $\neg$P = T)
  2. Apply identity/annihilation when constants appear
  3. Look for idempotence (duplicate terms)
  4. Look for absorption opportunities
  5. Consider factoring or De Morgan to reveal patterns
  6. 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

The legacy schematic is a mess: redundant valves, dead-end paths, inverted assemblies. Each cleanup tool works on a different pattern. Idempotence removes duplicate valves. Absorption removes redundant detours. Complement finds contradictions. The skill is reading the schematic and knowing which tool to reach for.

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 →