How can we prove that
i - (i& - i) = i&(i - 1)
mathematically?
Obviously, we can realise that i&(i - 1) unsets the LSB, and (i& - i) gives the LSB (subtracting which, also unsets the LSB). Is there a more concrete backing?
How can we prove that
i - (i& - i) = i&(i - 1)
mathematically?
Obviously, we can realise that i&(i - 1) unsets the LSB, and (i& - i) gives the LSB (subtracting which, also unsets the LSB). Is there a more concrete backing?
| № | Пользователь | Рейтинг |
|---|---|---|
| 1 | Benq | 3792 |
| 2 | VivaciousAubergine | 3647 |
| 3 | Kevin114514 | 3603 |
| 4 | jiangly | 3583 |
| 5 | turmax | 3559 |
| 6 | tourist | 3541 |
| 7 | strapple | 3515 |
| 8 | ksun48 | 3461 |
| 9 | dXqwq | 3436 |
| 10 | Otomachi_Una | 3413 |
| Страны | Города | Организации | Всё → |
| № | Пользователь | Вклад |
|---|---|---|
| 1 | Qingyu | 157 |
| 2 | adamant | 153 |
| 3 | Um_nik | 147 |
| 3 | Proof_by_QED | 147 |
| 5 | Dominater069 | 145 |
| 6 | errorgorn | 142 |
| 7 | cry | 139 |
| 8 | YuukiS | 135 |
| 9 | TheScrasse | 134 |
| 10 | chromate00 | 133 |
| Название |
|---|



First, the integer i can be expressed in binary as a1b where
a = sequence of 0's and 1's.
1 = the LSB (least-significant bit)
b = sequence of 0's (possibly empty)
Then i - 1 can be expressed as a0bc where bc is the complement of b (a sequence of 1's, possibly empty)
Following this binary representation i & (i - 1) = a1b & a0bc = a
We can apply the same principle to represent i - (i& - i):
- i = ac1b, why? Because - i is the two-complement of i, that is flipping all the bits (one-complement of i) and adding 1
If we apply one-complement to i we get ac0bc, and adding 1 we get ac1b
Now, i & - i = a1b & ac1b = z1b where z is a sequence of zeros with the same length as a
i - (i & - i) = a1b - z1b = a
So, i - (i & - i) = i & (i - 1) = a, (that is, turn off the LSB).
Hope this helps :)
Thanks, sure it helps. :)