Оба метода действительны.
Учитывая число n битов A = an-1, an-2 ... a0, C2 - это число такое, что A + C2 (A) = 2 ^ n
Если / A является битовым дополнением к A, легко доказать, что A + / A = 11..11 = 2 ^ n-1 => C2 = / A + 1, что доказывает первый метод.
Второй метод утверждает, что C2 (A) = / (A-1). Если мы вычислим
/ (A-1) + (A-1) = 11 ... 11 = 2 ^ n-1, мы можем видеть, что / (A-1) + A = 2 ^ n, что доказывает второй метод.