The null law (also called the domination or annulment law) is the pair:
- = 1
- = 0
Intuition: OR asks "is anything 1?" If one input is already 1, the answer is yes whatever A is. AND asks "is everything 1?" If one input is 0, the answer is no.
In a circuit, an OR gate with an input stuck at 1 always outputs 1, and an AND gate with an input stuck at 0 always outputs 0. The other inputs no longer matter.
The null law is the heart of the proof of the absorption law: = = = A, where = 1 is the null law.
Compare it with the identity law: 0 does nothing to an OR but dominates an AND, and 1 does nothing to an AND but dominates an OR.
| 0 | 1 | 0 |
| 1 | 1 | 0 |