双倍大小的 add1 模块中两组 A 输入和 P 输出的作用是什么？

我目前正在自学离散数学。我在我的问题集上遇到了这个问题，我根本无法理解图表！请参阅问题 4...

据我所知，add1 电路中的 a 变量是表示我们称为 s 的二进制整数的输入。下面的 p 输出变量代表 s + 1。让我沮丧的是我不知道这东西是如何工作的。 2(n+2) 框是否代表要添加的另一个整数？他们应该如何加在一起？为什么要打扰 s + 1？

顺便说一句，Ripple Carry 模仿人类执行加法的方式，但使用二进制数代替。

希望大家帮帮我。谢谢。