Logic Design (CE 207, CE 213) Chapter No. 2 - Part No. 1
Logic Design (CE 207, CE 213) Chapter No. 2 - Part No. 1
Logic Design (CE 207, CE 213) Chapter No. 2 - Part No. 1
Sol:
Page 1 of 11
b) Distributive Law:
Sol:
c) Distributive Law:
Sol:
Page 2 of 11
d) Associative Law:
Sol:
e) Associative Law:
Sol:
Page 3 of 11
Problem 2.2: Simplify the following Boolean expressions to a minimum number of
Literals:
a) xy+xy'
Sol:
xy +xy '=x ( y + y ' ) ( y' + y)=1
xy+xy'=x
b) ( x+ y )( x+ y ' )
Sol:
( x+ y )( x+ y ' )=x . x +xy '+xy+ y . y ' ( y' . y)=0
( x+ y )( x+ y ' )=x +x ( y ' + y )+0 ( y' + y)=1
( x+ y )( x+ y ' )=x +x
( x+ y )( x+ y ' )=x
Page 4 of 11
xyz' +x' yz+xyz+x' yz'=xyz' +xyz+x' yz+x ' yz'
xyz' +x ' yz+xyz+x ' yz'=xy ( z'+ z)+x' y ( z+z' ) ( z'+z )=1
xyz' +x' yz+xyz+x' yz'=xy+x' y
xyz' +x ' yz+xyz+x ' yz'= y ( x+ x ' ) ( x'+x )=1
xyz' +x' yz+xyz+x' yz'= y
Problem 2.3: Simplify the following Boolean expression to minimum number of literals.
a) ABC + A ' B+ ABC '
Sol:
ABC + A ' B+ ABC '= ABC + ABC '+ A ' B
ABC + A ' B+ ABC '= AB(C+C ' )+ A ' B
ABC + A ' B+ ABC '= AB+ A ' B
ABC + A ' B+ ABC '=B( A+ A ' )
ABC + A ' B+ ABC '=B
b) x' yz+xz
Sol:
x ' yz +xz=z ( x ' y+ x )
x ' yz+xz=z ( x ' +x )( x+ y )
x ' yz+xz=z ( x + y )
Page 5 of 11
( x+ y)' ( x'+ y' )=( x' x' y'+ x' y ' y' )
( x+ y)' ( x'+ y' )=( x' y '+x' y' )
( x+ y)' ( x'+ y' )=x ' y'
d) xy +x (wz+wz ' )
Sol:
xy + x (wz+ wz ' )=xy + xwz+xwz '
xy + x (wz+wz ' )=x ( y+wz+ wz ' )
xy +x (wz+wz ' )=x ( y+w( z+ z' ))
xy +x (wz+wz ' )=x ( y+w )
Page 6 of 11
( x+ y'+z ' )( x'+z ' )=z' (1+ y' )+x' y '
( x+ y'+z ' )( x'+z ' )=z' (1)+x' y '
( x+ y'+z ' )( x'+z ' )=z'+ x' y '
Problem: 2.4: Reduce the following Boolean expressions to the indicated number of literals.
a)
Sol:
A ' C '+ ABC + AC '= A ' C '+ AC '+ ABC
A ' C '+ ABC + AC '=C '( A '+ A )+ ABC
A ' C '+ ABC+ AC '=C '+ ABC
A ' C '+ ABC+ AC '= AB+C '
b)
Sol:
( x ' y '+z)'+z+xy+wz=( x ' y ')' z' +z+ xy+wz
( x ' y '+z)'+z+xy+wz=( x ' y ')' z' +z+ xy+wz
( x ' y '+z )'+z +xy +wz=[(x + y )z '+z ]+xy +wz
( x ' y '+ z)'+z +xy +wz=( z+ z ' )( z+ x + y )+xy + wz
( x ' y '+z )'+z +xy+wz=z +x + y +xy+wz
( x ' y '+z )'+z +xy +wz=z +wz +x+ xy+ y
( x ' y '+z)'+z+xy +wz=z(1+w )+x (1+ y )+ y
( x ' y '+z )'+z +xy+wz=z(1)+x (1)+ y
( x ' y '+z )'+ z +xy +wz=x + y + z
c)
Sol:
Page 7 of 11
A ' B (D '+C ' D)+B( A+ A ' CD)=A ' BD '+ A ' BC' D+ AB+ A ' BCD
A ' B (D '+C ' D)+B( A+ A ' CD)=B [ A ' D '+ A ' C ' D+ A+ A ' CD ]
A ' B (D '+C ' D)+B( A+ A ' CD)=B [ A ' C ' D+ A ' CD +A ' D' +A ]
A ' B (D '+C ' D)+B( A+ A ' CD)=B [ A ' D(C '+C )+ A ' D '+ A ]
A ' B (D '+C ' D)+B( A+ A ' CD )=B [ A ' D+ A ' D '+ A ]
A ' B (D '+C ' D)+B( A+ A ' CD )=B [ A '( D+D ' )+A ]
A ' B (D '+C ' D)+B( A+ A ' CD)=B [ A '+ A ]
A ' B (D '+C ' D)+B( A+ A ' CD)=B
d)
Sol:
( A '+C )( A '+C ' )( A+B+C ' D )=( A ' A '+ A ' C '+ A ' C+CC ')( A+B+C ' D)
( A '+C )( A '+C ' )( A+B+C ' D )=( A ' +A ' C '+ A ' C )( A+B+C ' D )
( A '+C )( A '+C ' )( A+B+C ' D )=( A ' +A '(C '+C ))( A +B+C ' D )
( A '+C )( A '+C ' )( A+B+C ' D )=( A ' +A ')( A+B+C ' D)
( A '+C )( A '+C ' )( A+B+C ' D )= A '( A+B+C ' D)
( A '+C )( A '+C ' )( A+B+C ' D )= A ' A+ A ' B+ A ' C ' D
( A '+C )( A '+C ' )( A+B+C ' D )= A '( B+C ' D )
e)
Sol:
ABCD+ A ' BD + ABC ' D= ABCD+ABC ' D+ A ' BD
ABCD+ A ' BD + ABC ' D= ABD(C+C ' )+ A ' BD
ABCD+ A ' BD+ ABC ' D= ABD+ A ' BD
ABCD+ A ' BD+ ABC ' D=BD( A+ A ' )
ABCD+ A ' BD+ ABC ' D=BD
Problem 2.5: Draw the logic diagrams of the circuits that implement the original and simplified
expressions in Problem 2.2.
a) Original expression Simplified expression
Page 8 of 11
F=xy+xy' F=x
Page 9 of 11
d) Original expression Simplified expression
F=( A+B )' ( A ' +B ' )' F=0
Page 10 of 11
F=( x + y +z ' )( x '+ y ' +z ) F=( x ⊕ y )+( x ⊕ z )'+( y ⊕ z )'
Page 11 of 11