O diagrama abaixo apresenta o algoritmo da adição de dois n...

Tem-se:
    7 B 2 5 A
+    D C B 5
    E 8 A 8 6

OBS: cada algarismo pode receber, no máximo, valor 9.

I)
 A + 5= 6...logo, A=1. Substituindo:
1+5=6
6=6
Dessa forma, o diagrama passa a ficar assim: 
   7 B 2 5 1
+   D C B 5
   E 8 1 8 6


II)
 5 + B= 8...logo B= 3. Substituindo:
5 + 3 = 8
8=8
O diagrama passa a ser: 
   7 3 2 5 1
+   D C 3 5
   E 8 1 8 6

III)
2 + C = A...já temos que A=1. Substituindo:
2 + C = 1
Para que se tenha, no resultado, o número 1 (de A), tem-se C = 9, pois 2 + 9 = 11 (ficando 1 elevado para a próxima conta). Assim:
      1
   7 3 2 5 1
+   D 9 3 5
   E 8 1 8 6

IV)
B + D = 8...já temos B= 3. Como há 1 elevado em razão da conta anterior ter dado 11, tem-se que D = 4. Assim:
1 + 3 + D = 8
4 + D = 8
D = 8 - 4
D = 4
Com isso, o diagrama passa a ser: 
      1
   7 3 2 5 1
+    4 9 3 5
   E 8 1 8 6

V) 7 + 0 = E...obviamente, o E = 7. Assim sendo, o diagrama final é: 

    7 3  2 5 1
+     4  9 3 5
     7 8 1 8 6
Portanto, tem-se:
A = 1
B = 3
C = 9
D = 4
E = 7

SUBSTITUINDO NAS ALTERNATIVAS:

A) 
     A + C = 2 * D
     1 + 9 = 2 * 4
    10 = 8 (FALSO)
B)
     B + D = E
     3 + 4 = 7
     7 = 7 (VERDADEIRO)
C)
     B - A = D
     3 - 1 = 4
     2 = 4 (FALSO)
D)
     C = 2 * B
     9 = 2 * 3
     9 = 6 (FALSO)
E)
     C - E = A
     9 - 7 = 1
     2 = 1 (FALSO)

Portanto, resposta correta letra B.

Não entendi por que não pode valer -1 o C...alguém sabe?

Maria QConcursos, o C não pode ser -1 pelo simples fato de ser uma operação de adição, conforme explanado no enunciado da questão, só poderia ser -1 se fosse uma operação de subtração. Entendi dessa forma... :)