The absorption law removes a whole term:
- = A
- Dual: = A
Intuition. In , whenever is 1, A is already 1. So the longer term never changes the output, and the shorter one "absorbs" it.
Proof using earlier laws: = = = = A, using identity, distributive and null.
How to spot it in an SOP: if every literal of one term appears in another term, delete the longer one. In , contains all of , so the result is . The letters can stand for blocks: = .
Absorption has a close cousin, the redundant literal rule = , which removes a barred letter instead of a whole term. Mixing up the two is one of the most common errors in the topic.
| A | ||||
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | 0 |
| 0 | 1 | 0 | 0 | 0 |
| 1 | 0 | 1 | 1 | 1 |
| 1 | 1 | 1 | 1 | 1 |