SolutiontoHomeAssignmentNo2

AnswerNo1
a.
b.
c.
d.
e.
f.
g.
h.
i.
j.

a.0=0
a+ab=a+b
(x+z)(x+y)(y+z)=(x+z) (x+y)
x+yx= x
w+[w+(wx)]=w
w(wxyz)= w( w+ x+ y+ z)= w
(x+x)=x
xxy=x+y
f[a,b,(ab)]=a+b+(ab)=a+b+ a+ b=1
f[a,b,ab]=a+b+ab=a+b

Answer No-2
a. AB+BCD+ABC+CD=B+CD
LHS
AB+BCD+ABC+CD=B(A+AC)+C(D+BD)
=B(A+C)+C(B+D)
=AB+B+CD
=B+CD
=RHS
b. ab+bc+ac+ab+bc= ab+ac+bc
LHS
ab+bc+ac+ab+bc= ab+ac+ab+bc
= ab+ac+bc
=RHS
Answer No-3
a. X+Y[Z+(X+Z)]=X+Y[Z+XZ]
=X+Y(X+Z)
=(X+Y)(X+X+Z)
=X+Y
b. (AB+AB)(CD+CD)+(AC)
= (AB+AB)(CD+CD)+A+C
= (AB+AB) CD+ (AB+AB)CD+ A+C
= ABCD+ABCD+ABCD+ ABCD+ A+C
= ABCD+ ABCD+ A+ ABCD+ C+ABCD
= A(BCD+BCD+ 1)+C(ABD+1)+ABCD
= A.1+C.1+ABCD
= A+C+ABCD
= (AC)+AC(BD)
= [(AC)+AC][ (AC)+BD)]
= 1. [(AC)+BD)]
= [(AC)+BD)]
= A+C+BD
Reduced to four literals.

DeMorgans Law
dist over +
dist over +
associative
dist over +
apply X+1=1
apply X.1=X
DeMorgans Law
+ dist over
apply X+X=1
apply X.1=X
DeMorgans Law

Answer No-4
a. F=WX(YZ+YZ)+WX(Y+Z)(Y+Z)
F=[ WX(YZ+YZ)+WX(Y+Z)(Y+Z)]
=[ WX(YZ+YZ)] [WX(Y+Z)(Y+Z)]
Page1of3

=[( WX)+ (YZ+YZ)][( WX)+((Y+Z)(Y+Z))]

=[W+X+((YZ)(YZ))][W+X+(Y+Z)+(Y+Z)]
=[W+X+(Y+Z)(Y+Z)][W+X+ YZ+YZ]
DeMorgans Law
Dual of F=[W+X+(Y+Z)(Y+Z)][W+X+YZ+YZ]
F=[W+X+(Y+Z)(Y+Z)][W+X+YZ+YZ]
complementing each literal
b. F=(VW+X)Y+Z
F=[(V+W)X+Y]Z
DeMorgans Law
Dual of F=[(V+W)X+Y]Z
F=[(V+W)X+Y]Z

complementing each literal

Answer No-5
a.
b.

F(A,B,C)=(A+B)(B+C)=AB+BC
= ABC+ ABC+ABC+ABC
=(0,1,3,7)
F(w,x,y,z)=(0,1,2,3,4,6,12)
F(w,x,y,z)=(5,7,8,9,10,11,13,14,15)
F(w,x,y,z)=M5 . M7. M8 .M9 .M10 .M11 .M13 .M14 .M15
F(w,x,y,z)=(w+x+y+z)(w+x+y+z)(w+x+y+z)(w+x+y+z)(w+x+y+z)
(w+x+y+z)(w+x+y+z)(w+x+y+z) (w+x+y+z)
F(w,x,y,z)=wxyz+wxyz+wxyz+wxyz+wxyz+wxyz+wxyz+wxyz
wxyz +wxyz
F(w,x,y,z)=m5 +m7 +m8+m9+m10+m11+m12+m14+m15
F(w,x,y,z)=(5,7,8,9,10,11,12,14,15)

Answer No-6
a. F(A,B,C)=(A+B+C)(A+B+C)(A+B+C)(A+B+C)(A+B+C)( A+B+C)
(A+B+C)( A+B+C)
=(A+B)(A+B)(A+B)(A+B)
+ dist over
=A.A
=0
2n-1
b. F(x1 ,x2 ,x3 ,,xn )= Mi has 2n/2 maxterms with x1and 2n/2 maxterms with x1,
i=0
which can be factored out and x1 removed. Similarly the remaining 2n-1 terms
will have 2n-1/2 maxterms with x2 and 2n-1/2 maxterms with x2, which after
factoring will remove x2. Continue this process until the last term is left and
xn xn=0.
Answer No-7
a. xy=x+y
yx=y+x
xy yx
(xy)z =(x+y) z
=(x+y)+y
=xy+z
=(1,3,4,5,7)
x(yz)=x(y+z)
=x+y+z

Not commutative

Page2of3

=(0,1,2,3,4,5,7)
(xy) z x(yz)
b. xy=xy+ xy
yx= yx+yx
= xy+ xy
(xy)z=(1,2,4,7)
x(yz)=(1,2,4,7)
(xy)z = x(yz)

Not associative

Commutative

Associative

Answer No-8
F=X+X(X+Y)(Y+Z)
=(X+X)(X+(X+Y)(Y+Z))
= X+(X+Y)(Y+Z)
=X+XY+YZ
= X+Y+YZ
= X+Y+Z

Note:

sop
pos

Solutions 3(b), 4(a), and 5(b) show complete details of answers and will serve as
ready reference for the students, whereas remaining solutions have a number of
steps missed out intentionally. The students are expected to fill-in the missing
steps.
*****The End*****

Page3of3