next up previous
Next: Logic Pipelines Up: Representation Properties Previous: Multiplication by Two

Additive Inverse Property

Since tex2html_wrap_inline787 and tex2html_wrap_inline789 must add add to zero in a fixed-width binary adder, it must be the case that

displaymath777

(where tex2html_wrap_inline791 represents fixed-width addition) or, equivalently,

displaymath778

The logical ``not'' function can be written as tex2html_wrap_inline793 for a single bit and is defined by

displaymath779

for a bit vector. Since (for representable x)

displaymath780

it is easy to verify the well-known formula

displaymath781



Stephen W. Nuchia
Mon Dec 11 17:02:42 CST 2000