With the ARM architecture family's no-borrow convention, subtract with carry forms . The same adder used for addition can form . If its output is , rearranging proves . Thus complementing the second operand implements both the result and the correctly chained borrow information.[ref]
Articles by others on the same topic
Subtract with carry (also known as subtract with borrow) is a technique used in digital circuits and arithmetic operations that allows subtraction of binary numbers while accommodating for cases where borrowing is necessary. It is an important operation in arithmetic logic units (ALUs) of processors and in digital systems' arithmetic implementations.