# Solutions-review1 ```CSE207 FALL 2001
SELECTED EXERCISES TO HELP WITH REVIEWING FOR EXAM1
SOLUTIONS
Note: Solutions to some of these problems will be posted on the web
1. a) Give the binary equivalent of the following:
 110.37510
Find the solution in two steps. First convert the integer part using successive division by 2 (base r=2).
Next, convert the fractional part by successive multiplication by 2
Step 1: This step is easy. 11010 = 11011102
Step 2: Binary equivalent of the fractional part (0.375)10
Digit or coefficient
0.375 X 2 = 0.75 = 0 + .75
0
0.750 X 2 = 1.50 = 1 + .50
1
0.500X 2 = 1.00 = 1 + .00
1
Result: 110.37510 = 1101110.0112
Note: Check the above result by using the polynomial expansion expression (see page 26 of text)
 271.02010
same idea as above
b) Convert each of the following to its equivalent in base 2, 4 and 5
 254
Remainder
Remainder
254/2 = 127
0
254/4 = 63
2
127/2 = 63
1
63/4 = 15
3
63/2 = 31
1
15/4 = 3
3
63/2 = 31
1
3/4 = 0
3
31/2 = 15
1
15/2 = 7
1
254/5 = 50
4
7/2 = 3
1
50/5 = 10
0
3/2 = 1
1
10/5 = 2
0
1/2 = 0
1
2/5 = 0
2
Result: 25410 = 1111111102 = 33324 = 20045


35
Same as above
327.020
Base 2: Use the same method as in 1.a) above and allowing for 6 digits after the decimal point, the
correct answer is (check this …): 101000111.000001
Base 5: Use same method as above, except that the base r=5. So use successive division by 5 for
integer part and successive multiplication by 5 for fractional part.
Integer part:
327  5
65  5
13  5
2  5
0
2
0
3
2
Fractional part:
.020 x 5 =
0 + .1
.100 x 5 =
0 + .5
.500 x 5 =
2 + .5
.500 x 5 =
2 + .5
….
Result = (2302.00222222 …..)5
c) Perform the following:
 subtract 2110 from 8310 in binary
Two possible solutions: either subtract the binary equivalent of 21 from the binary equivalent of
83 or add the complement of the binary equivalent of 21 to the binary equivalent of 83
A)
1111000
borrow
10100112
00101012
---------------01111102
B) Compute the 2's complement of 21: 1101011
83 =
- 21 =
83
+ 21C

=
=
10100112
11010112 (2's complement of 21)
---------------0 01111102 ( discard carry out of the sign bit )
subtract 8310 from 2110 in binary
same as above
d) Convert each following base-r integer to the equivalent base-10 integer:
 1101012
 1010102
 2312304
 1ABF216
 0003425
For the above problems, compute the polynomial expansion expressions and perform
the required operations.
2. Do the following exercises from the text book:
 Page 301
4.5 on page 301 (hint: use parentheses)
A function and its complement cannot be 1 for the same input combination. What is wrong in this
problem is the expression for the complement. In fact, if you include parentheses in the expression
X + YZ before computing the complement, the result is :
(X + YZ)' = (X + (YZ))'
= X' . (YZ)' by De Morgan's theorem
= X' (Y' + Z') (which is not X'Y' + Z' as stated in the problem)
Now for the input combination XYZ = 110 :
X + YZ is 1 and X'(Y' + Z') is 0 (which makes more sense)

Page 302
 4.7 a), b),
 4.8 a), c), h)
These problems are easy. Everyone should know how to write these truth table
 4.9 a), c), e)
The canonical sum and product are the standard sum of products (SOP) and product of sums (POS)
Representation of logic functions:
F = X,Y (1,2) = m1 + m2 = X'Y + X Y' (SOP)
a)
For the product of sum, note that:
F = X,Y (0,3) = M0 + M3 = (X+Y) . (X ' + Y') (SOP), if you multiply this out you the
SOP expression
Same as above
Two possible solutions: either you write a truth table for F and read out the SOP expression from
the table or you use boolean algebra to obtain the canonical SOP. The first solution is easy. I will
give the second solution:
c)
e)
F = X + Y' Z' : the expression has three input variables. So we should make sure that each
product term (in the final result) contains all three input variables. So using boolean
algebra :
F = X + Y' Z' = X(Y+Y') + (X + X')Y'Z'
multiply out
= XY + XY' + XY'Z' + X'Y'Z' repeat for the first two products
= XY(Z + Z') + (XY'(Z + Z') + XY'Z' + X'Y'Z' multiply out
= XYZ + XYZ' + XY'Z + (XY'Z' + XY'Z') + X'Y'Z'
= XYZ + XYZ' + XY'Z + XY'Z' + X'Y'Z'
Check this by drawing the truth table of the function

Page 304
4.32
Consensus theorem. I discuss this in class
3. a) Write a truth table for a circuit that accepts three inputs A, B and C. the circuit is to output a 1
when a majority of the inputs are 1, except when A and B are 1 and C is 0.
b) Write the canonical sum of products (SOP) expression corresponding to the circuit.
c) Draw the circuit using And, Or and Not gates
d) Using Boolean algebra, simplify the expression found in b) above.
e) Draw the new circuit corresponding to the expression found in d)
a) Truth table
A B C
Output
0
0
0
0
1
1
1
1
0
0
0
1
0
1
0
1
0
0
1
1
0
0
1
1
0
1
0
1
0
1
0
1
b) sum of product expression of the output
F(A,B,C) = A,B,C (3,5,7) = A'BC + AB'C + ABC
c) Draw circuit …… with 3 and gates, two not gates and two or gates
d) Simplification of expression found in b)
F(A,B,C) = A'BC + AB'C + ABC
= A'BC + AB'C + ABC + ABC by theorem T3 (for ABC)
= A'BC + ABC + AB'C + ABC
= (A' + A) BC + (B' + B)AC
by theorem T8
= BC + AC
by theorem T5
= C(A+B)
Note that we can factor out C in the first step ….
e) Draw the new circuit :
 either as an AND-OR circuit (with 2 2-input AND gates and 1 2-input OR gate)
 or as OR-AND circuit
4. Complement the following Boolean expressions ( A, B, C, D are variables )
 A' + (AB)'(A+C' + A'B')
 A'(B' + C')(A + B + C')
 (A' + B + B'C')(A + B'C) + D'
 ((CD)' + A)' + A + CD + AB
 AB + A'B + ABC'D
You are asked to compute the complements of the above functions. Apply De Morgan's theorem. I
will give a solution for the first expression:
(A' + (AB)'(A+C' + A'B'))' = A + ((AB)'(A+C' + A'B'))'
= A + AB + (A+C' + A'B')'
= A + AB + A'C'(A'B')'
= A + AB + A'C'(A+B)
= A + AB + A'C'A + A'BC'
= A + AB + A'BC'
= A(1 + B) + A'BC'
= A + A'BC' = (A+A')(A + BC')
= A + BC'
5. Simplify the following Boolean expressions and draw the corresponding logic circuit
ABC + BCD + AB'D' + A'BCD' + A'B'D' = ABC + BCD+ A'BCD' + (A'+A)B'D'
= BC (A + D + A'D') + B'D'
= BC + B'D'
Note that (A+D+A'D') is 1. To prove that we can write the expression as:
A + D + A'D' =
=
=
=
=
=
A + D + A'D' + A'D' by theorem T3
A + A'D' + D + A'D'
(A+A')(A+D') + (D+D')(D+A') by theorem T8'
A + D' + D + A'
by theorem T5
1+1
by theorem T5
1
```