Consider a 4-bit Johnson counter with an initial value of 0000. The counting sequence of this counter is

A 4-bit Johnson counter (or twisted-ring counter) with right-shift operation shifts bits to the right and feeds the complement of the last bit back into the first position:

1. Initial state: $0000_2 = 0$

2. Invert LSB ($0 \to 1$) and shift right: $1000_2 = 8$

3. Invert LSB ($0 \to 1$) and shift right: $1100_2 = 12$

4. Invert LSB ($0 \to 1$) and shift right: $1110_2 = 14$

5. Invert LSB ($0 \to 1$) and shift right: $1111_2 = 15$

6. Invert LSB ($1 \to 0$) and shift right: $0111_2 = 7$

7. Invert LSB ($1 \to 0$) and shift right: $0011_2 = 3$

8. Invert LSB ($1 \to 0$) and shift right: $0001_2 = 1$

9. Invert LSB ($1 \to 0$) and shift right: $0000_2 = 0$

Thus, the decimal counting sequence is 0, 8, 12, 14, 15, 7, 3, 1, 0, corresponding to option (D).