The complement law pairs a value with its opposite:
- = 1
- = 0
A and are always different, so exactly one of them is 1. Their OR is therefore always 1, and their AND is always 0.
The letter can stand for a whole expression. = 1 and = 0, because any expression is just some 0 or 1, and its complement is the other value.
This is the law that makes variables disappear during simplification. Every time two terms differ only in one letter's bar, you factor and use it:
= = = A.
That pattern is so common it has its own name, combining terms.
Careful: the law needs the same thing plain and complemented. is not 1, because is not the complement of .
| 0 | 1 | 0 |
| 1 | 1 | 0 |