intuitively:

b: is true because you can only start the sequence two ways: a vertical bar or two horizontal bars.

c: similar to b except this time the two ways are a vertical bar and three horizontal bars, so the formula falls right out that

d: obvious almost right away after b and c are done