Before we can even read the parent note, we must earn every symbol it throws at us: bits, indices, powers of two, binary, log2n, the mux equation, and the little mod sign. This page builds each one from the ground, in an order where nothing appears before it is defined.
Picture a row of light switches. Each switch is either OFF (0) or ON (1). Put n of them in a line and you have a word — the thing a shifter shifts.
Why does the topic need this? A barrel shifter takes a word in and gives a word out. If we don't nail down "what is a word," every later sentence is unreadable.
Each switch in the row needs a name so we can talk about "the third one." That name is its index.
Why count from the right and start at 0? Look at the next section: the value of a bit depends on 2j, and starting at 0 makes the rightmost bit worth 20=1. It lines up the picture with the arithmetic.
Take 13. Ask: which powers of two add up to 13?
13=8+4+1=23+22+20
Include 23,22,20; skip 21. Reading the switches from 23 down to 20: 1101. So 13=11012 (the small 2 means "read this as binary").
The tall ∑ ("sigma") is just shorthand for "add all of these up." The label i=0 underneath is the starting index; the k−1 on top is the last. This is why the parent can say "shift-by-13 = shift-by-8 + shift-by-4 + shift-by-1" — that sentence IS the binary expansion of 13.
We have powers of two (1,2,4,8,…) as our building blocks. Question: to build any amount from 0 up to n−1, how many of these blocks (switches) do we need?
Picture climbing the doubling ladder from the previous figure: 1→2→4→8→16 is 4 rungs, so log216=4.
Every stage is built from one repeated part: the multiplexer. Full detail lives in Multiplexers; here is the minimum you need.
Now three tiny logic symbols so the mux equation reads cleanly:
Put them together and the mux is a one-line formula:
out=sel⋅D0+sel⋅D1
Read it: "if sel=0 then sel=1 so the first term is D0 and the second term is 0 — output is D0. If sel=1, the second term wins — output is D1." That is a mux, derived, not assumed. Every per-bit stage equation in the parent note is just this formula with D0=aj and D1= the shifted bit.