Как компьютер узнает, что произошло заимствование, когда он выполняет вычитание?

Question

когда a = 1001 b = 1011

ab = a+ (-b) = 1001 + 0101 = 1101

Заимствование действительно происходит, но компьютер выполняет вычитание таким образом, так как же компьютер узнает, что это произошло?