Boolean Algebra - Design Techniques for Digital Systems - Solved Exam, Exams of Digital Systems Design

during the course of Design Techniques for Digital Systems, I notice the main points in these solved exam paper are:Boolean Algebra, Laws and Theorems, Particular Law, Karnaugh Map, Simplify Function, Minimal Two-Level, Sum of Products Expressions, Switching Functions, Universal Set of Gates, Assuming Constants

Typology: Exams

2012/2013

Uploaded on 04/23/2013

sarangapani
sarangapani 🇮🇳

4.5

(10)

62 documents

1 / 3

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Sample Midterm #1 Solution
1.
Prove using Boolean algebra that ac′ + ab + ac + ab′ = ac′ + ab + bc. Write the
particular law you are using in each step.
Proof:
ac′ + ab + ac + ab
= a’c’ + ab + (ac + a’b’) associativity
= a’c’ + ab + (ac + a’b’ + b’c) consensus
= a’c’ + ab + ac + a’b’ + b’c + b’c idenpotency
= (a’c’ + b’c + a’b’) + (ab + b’c + ac) commutativity+ associativity
= (a’c’ + b’c) + (ab + b’c) consensus
= a’c + ab + b’c idenpotency
2. Prove using Boolean algebra that (a + c)(a′ + c)(b′ + c + d)(a + b′ + d) = (a
+ c)(a′ + c)(b′ + d). Write the particular law you are using in each step.
Proof: (a + c)(a′ + c)(b′ + c + d)(a + b′ + d)
= (a + c) (a’ + c’) ((ac) + (b’ + d’)) distributivity
= (a + c) (a’ + c’) ac + (a + c) (a’ + c’) (b’ + d’) distributivity
= (a + c) (a’ac + c’ac) + (a + c) (a’ + c’) (b’ + d’) distributivity
= (a + c) (0 + 0) + (a + c) (a’ + c’) (b’ + d’) complement
= 0 + (a + c) (a’ + c’) (b’ + d’) nullity
= (a + c) (a’ + c’) (b’ + d’) identity
3. Use Karnaugh map to simplify function f (a, b, c, d) =
Σ
m(0,1, 2, 3, 4, 5, 7,8,12)
+
Σ
d(10,11). List all possible minimal two-level sum of products expressions.
Show the switching functions. No need for the diagram.
F = a’d + a’b’ + c’d’
or F = a’d + b’c + c’d’
or F = a'd + c'd' + b'd'
1
1
1
1
1
1
1
1
x
1
x
00
01
11
10
00
01
11
10
cd
ab
Docsity.com
pf3

Partial preview of the text

Download Boolean Algebra - Design Techniques for Digital Systems - Solved Exam and more Exams Digital Systems Design in PDF only on Docsity!

Sample Midterm #1 Solution

  1. Prove using Boolean algebra that ac ′ + ab + ac + ab ′ = ac ′ + ab + bc. Write the particular law you are using in each step.

Proof: ac ′ + ab + ac + ab ′ = a’c’ + ab + (ac + a’b’) associativity = a’c’ + ab + (ac + a’b’ + b’c) consensus = a’c’ + ab + ac + a’b’ + b’c + b’c idenpotency = (a’c’ + b’c + a’b’) + (ab + b’c + ac) commutativity+ associativity = (a’c’ + b’c) + (ab + b’c) consensus = a’c + ab + b’c idenpotency

  1. Prove using Boolean algebra that ( a + c )( a ′ + c ′)( b ′ + c + d ′)( a + b ′ + d ′) = ( a
  • c )( a ′ + c ′)( b ′ + d ′). Write the particular law you are using in each step.

Proof: ( a + c )( a ′ + c ′)( b ′ + c + d ′)( a + b ′ + d ′) = (a + c) (a’ + c’) ((ac) + (b’ + d’)) distributivity = (a + c) (a’ + c’) ac + (a + c) (a’ + c’) (b’ + d’) distributivity = (a + c) (a’ac + c’ac) + (a + c) (a’ + c’) (b’ + d’) distributivity = (a + c) (0 + 0) + (a + c) (a’ + c’) (b’ + d’) complement = 0 + (a + c) (a’ + c’) (b’ + d’) nullity = (a + c) (a’ + c’) (b’ + d’) identity

3. Use Karnaugh map to simplify function f ( a , b , c , d ) = Σ m (0,1, 2, 3, 4, 5, 7,8,12)

+ Σ d (10,11). List all possible minimal two-level sum of products expressions.

Show the switching functions. No need for the diagram.

F = a’d + a’b’ + c’d’ or F = a’d + b’c + c’d’ or F = a'd + c'd' + b'd'

1 1 1 1 1 1 1 1 x 1 x

00 01 11 10 00 01 11 10

cd

ab

4. Use Karnaugh map to simplify function f ( a , b , c , d ) = Σ m (0,1, 2, 3, 4, 5, 7,8,12)

+ Σ d (10,11). List all possible minimal two-level product of sums expressions.

Show the switching functions. No need for the diagram.

F = (a’ + d’) (a’ + c’) (b’ + c’ + d)

  1. Universal Set of Gates: Check if the set in the following list is universal and explain your decision. Assuming constants 0 and 1 are available as inputs.

Solution: We know {AND, OR, NOT} is universal. If we can construct these three gates using the ones from the gate set we are checking, then the gate set under checking is also universal.

i. {AND, NOT}

ii. {NAND}

iii. {XOR, NOT} Not universal, because AND or OR can not be constructed using XOR & NOT

1 1 1 1 1 1 1 1 x 1 x

00 01 11 10 00 01 11 10

cd

ab