我们来逐步分析给定的代码，理解其执行流程，并计算最终的结果。

初始变量值：
- `a = 1`
- `b = 2`
- `c = 3`

代码逻辑如下：

```python
if a == b:
b += 1
if b > c:
c += 1
else:
c = a
elif a < b:
a += 1
if a == b:
c = 1
```

接下来，我们分析各个条件语句：

1. **检查条件 `a == b`：**
- 由于 `a` (1) 不等于 `b` (2)，所以不进入第一个 `if` 块。

2. **检查条件 `a < b`：**
- 由于 `a` (1) 小于 `b` (2)，这个条件为真，所以进入 `elif` 块。

3. **在 `elif` 块中 `a += 1`：**
- 更新 `a` 为 `2`。

4. **再次检查 `if a == b`：**
- 此时 `a` (2) 等于 `b` (2)，条件为真，进入 `if` 块。

5. **在此 `if` 块中设置 `c = 1`：**
- 更新 `c` 为 `1`。

最后的变量值：
- `a = 2`
- `b = 2`
- `c = 1`

计算 `a + b + c = 2 + 2 + 1 = 5`

因此，代码的输出结果是 `5`，对应的选项是 **D: 5**。