pythonによるbit全探索実装における (i >> j) & 1 の意味

Question

pythonでbit全探索を実装する際に、N個のバイナリー値の組合せを考えるとした時

for i in range(2 ** N):
    for j in range(N):
        if (i >> j) & 1:
            (do something)

といった風に実装しますが、3行目について質問です。
iをjだけ右シフトした時、右端が１であるかを調べていると思うのですが、これは **&(AND)**のどのような仕様によるものでしょうか？

例えば、

for i in range(10):
    print(i, i & 1)

を実行すると

0 0
1 1
2 0
3 1
4 0
5 1
6 0
7 1
8 0
9 1

が得られます。この時もiを二進数で表した時、右端が１である数字に対して１が出力されるのですが、この挙動がどういうしくみなのか説明いただきたいです。ご教授よろしくお願いします。

Answer 1

この挙動がどういうしくみなのか説明いただきたいです。

0 & 0 は 0
1 & 0 は 0
0 & 1 は 0
1 & 1 は 1

という仕組みです。000～～0001 との & なので、
(最下位以外のビット 0) & 0 => 0
(最下位以外のビット 1) & 0 => 0
(最下位ビット 0) & 1 => 0
(最下位ビット 1) & 1 => 1

Answer 2

i = x & 1
i はどういう数値が代入されるか考えてみよう

Answer 3

ビット演算子になりますこちらを勉強してください

Pythonのビット演算子（論理積、論理和、排他的論理和、反転、シフト）
https://note.nkmk.me/python-bit-operation/