为了解析这个问题，我们需要检查代码的执行流程以及条件判断。以下是代码的逐步分析和输出结果：

```python
a = 5
b = [6, 7, 8]

if a in b:
b.append(a + 1)
elif (a + 1) in b:
b.append(a + 2)
else:
b.append(a - 1)

print(b)
```

### 分析步骤：

1. **变量初始化**：
- `a = 5`
- `b = [6, 7, 8]`

2. **条件判断**：
- `if a in b:`：这里判断 `5` 是否在列表 `b` 中。显然，`5` 不在 `[6, 7, 8]` 中，因此此条件为 `False`。

- `elif (a + 1) in b:`：这里判断 `6`（因为 `a + 1 = 5 + 1`）是否在列表 `b` 中。`6` 在 `[6, 7, 8]` 中，因此此条件为 `True`。于是，`b.append(a + 2)` 被执行，即将 `7`（因为 `a + 2 = 5 + 2`）添加到列表 `b` 中。

3. **代码执行结果**：
- 由于 `elif` 条件为 `True`，执行 `b.append(7)` 后，列表 `b` 变成 `[6, 7, 8, 7]`。

4. **输出结果**：
- 通过 `print(b)`，最终输出的列表是 `[6, 7, 8, 7]`。

因此，代码的输出结果是选项 **A: [6, 7, 8, 7]**。