为了确定代码的输出结果，我们将逐步分析代码的逻辑。

给定的代码如下：
```python
a = [1, 2, 3]
b = [2, 3, 4]

for i in range(len(a)):
if i == 0:
b[i] = a[i] + 1
elif i == 2:
b[i] = a[i] + 3
else:
b[i] = a[i] - 1

print(b)
```

我们逐步来分析循环中每次迭代时列表 `b` 的变化：

1. **当 `i = 0` 时**：
- 条件 `if i == 0` 满足，因此执行 `b[i] = a[i] + 1`。
- `a[0]` 是 `1`，所以 `b[0] = 1 + 1 = 2`。
- 此时，`b` 变为 `[2, 3, 4]`。

2. **当 `i = 1` 时**：
- 上述条件不满足，但没有单独判断条件满足的 `i == 1`。
- 执行 `else` 语句 `b[i] = a[i] - 1`。
- `a[1]` 是 `2`，所以 `b[1] = 2 - 1 = 1`。
- 此时，`b` 变为 `[2, 1, 4]`。

3. **当 `i = 2` 时**：
- 条件 `elif i == 2` 满足，因此执行 `b[i] = a[i] + 3`。
- `a[2]` 是 `3`，所以 `b[2] = 3 + 3 = 6`。
- 此时，`b` 变为 `[2, 1, 6]`。

因此，最终输出结果为 `[2, 1, 6]`。

综上所述，正确答案是 **B: [2, 1, 6]**。