The idempotent law says that repeating something has no effect:
- = A
- = A
Try both values: 0 + 0 = 0, 1 + 1 = 1, 0 · 0 = 0, 1 · 1 = 1. In every case the result equals A. There is no 2A or A² in Boolean algebra, because the only values are 0 and 1.
It works for whole terms too: = , and = A.
Used forwards, it deletes repeated terms after you multiply out brackets.
Used backwards, it is a powerful trick: you can write a term twice, X = , so that one term can be combined with two different partners. For example, in the term pairs with both of the others, giving . The same idea is why a minterm can be reused in several groups on a karnaugh map.