Parent Directory | Revision Log

Revision **277** -
(**show annotations**)
(**download**)
(**as text**)

*Tue Aug 13 02:35:39 2019 UTC*
(4 years, 11 months ago)
by *dashley*

File MIME type: application/x-tex

File size: 1864 byte(s)

File MIME type: application/x-tex

File size: 1864 byte(s)

Change keyword substitution (migration from cvs to svn). Add quotation.

1 | %$Header$ |

2 | |

3 | \chapter[Solutions: \ccilzeroxrefcomma{}Chapter \ref{ccil0}] |

4 | {Solutions: \ccilzeroxrefcomma{}Chapter \ref{ccil0}, \ccilzerolongtitle{}} |

5 | |

6 | \label{ccis0} |

7 | |

8 | \vworkexercisechapterheader{} |

9 | \begin{vworkexercisesolution}{\ref{exe:ccil0:sexe0:01}} |

10 | We can show this result in two ways. The first way, based on bit patterns, is to note |

11 | that adding an $m$-bit number, $u$, to its one's complement will result in a bit pattern |

12 | containing all 1's, i.e. $\forall i$, $u_{[i]} = 1$. Adding 1 to this bit pattern will |

13 | always produce $\forall i$, $u_{[i]} = 0$ with a carry out. Since the order of addition |

14 | does not matter, this establishes that adding $u$ to $\sim{}u+1$ will produce 0, thus showing |

15 | that $u$ and $\sim{}u+1$ are additive inverses. This method, although valid, does not |

16 | establish that $u$ and $\sim{}u+1$ actually represent additive inverses. For example, if |

17 | $u=-2^{m-1}$, $u=\sim{}u+1$, and clearly a non-zero number cannot be an additive inverse of |

18 | itself. Thus, it would be more comforting to show this result in a way that demonstrates the |

19 | actual values of the integers represented. |

20 | |

21 | We present a second method now. Assume that $u \neq -2^{m-1}$, since |

22 | $-2^{m-1}$ cannot have an additive inverse in an $m$-bit signed integer. |

23 | If $u=0$, $\sim{}u+1=0$, so the relationship is clearly met. If $u<0$, then |

24 | $u_{[m-1]}=1$, and by |

25 | (\ccilzeroxrefhyphen\ref{eq:ccil0:sroi0:sros0:00}), |

26 | |

27 | |

28 | \end{vworkexercisesolution} |

29 | \vworkexercisechapterfooter |

30 | |

31 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

32 | \vfill |

33 | \noindent\begin{figure}[!b] |

34 | \noindent\rule[-0.25in]{\textwidth}{1pt} |

35 | \begin{tiny} |

36 | \begin{verbatim} |

37 | $HeadURL$ |

38 | $Revision$ |

39 | $Date$ |

40 | $Author$ |

41 | \end{verbatim} |

42 | \end{tiny} |

43 | \noindent\rule[0.25in]{\textwidth}{1pt} |

44 | \end{figure} |

45 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |

46 | % |

47 | %End of file C_CIS0.TEX |

Name | Value |
---|---|

svn:eol-style |
native |

svn:keywords |
Author Date Id Revision URL Header |

dashley@gmail.com | ViewVC Help |

Powered by ViewVC 1.1.25 |