Solved Exercise Boolean Algebra
Solved Exercise Boolean Algebra
1.
Ans.
2.
Ans.
3.
Ans.
4.
Ans.
5.
Ans.
6.
Ans.
7.
Ans.
8.
Ans.
9.
Ans
:
10.
Ans.
11.
Ans.
12.
Ans.
CBSE CS N IP
Page 1 of 35
13.
Ans.
14.
Ans.
15.
Ans.
16.
Ans.
17.
Ans.
18.
Ans.
19.
Ans.
20.
Ans.
21.
Ans.
22.
Ans.
23.
Ans.
24.
Ans.
25.
Ans.
26.
Ans.
27.
Ans.
28.
Ans
:
29.
Ans.
How many input combination can be there in the truth table of a logic system having (N) input binary variables?
There can be 2N input combination in the truth table of a logic system having (N) input binary variables.
Write dual of the following Boolean Expression :
(a) (x + y)
(b) xy + xy + xy
(c) a + ab + b
(d) (x + y + z)(x + y)
(a) xy
(b) (x + y)(x + y)(x + y)
(c) a . (a + b) . b
(d) xyz + xy
Find the complement of the following functions applying DeMorgans theorem
(a) F(x,y,z) = xyz + xyz
(b) F(x,y,z) = x(yz + yz)
(a) xyz + xyz
(b) x(yz + yz)
= (xyz + xyz)
= x + (yz + yz)
= (xyz)(xyz)
= x + (y + z)(y + z)
= (x + y + z)(x + y + z)
= x + (y + z)(y + z)
= (x + y + z)(x + y + z)
What is the logical product of several variables called? What is the logical sum of several variables called?
Logical product of several variables is called Minterm and logical sum of several variables is called Maxterm.
What is the procedure Break the line, change the sign?
The procedure Break the line, change the sign is called demorganization which is performed by following steps :
1. Complement the entire function
2. Change all ANDs ( . ) to ORs ( + ) and all the ORs ( + ) to ANDs ( . )
3. Complement each of the individual variables.
What is a logical product having all the variables of a function called?
Logical product having all the variables of a function is called Minterm.
What is a logical sum having all the variables of a function called?
Logical sum having all the variables of a function is called Maxterm.
What do you understand by a Minterm and Maxterm?
Minterm: - Minterm is a product of all the literals within the logic system. Each literal may be with or without the bar
(i.e. complemented).
Maxterm:- Maxterm is a product of all the literals within the logic system. Each literal may be with or without the bar
(i.e. complemented).
Write the minterm and Maxterm for a function F(x,y,z) when x =0, y = 1, z = 0.
Minterm : xyz
Maxterm: x + y + z
Write the minterm and Maxterm for a function F(x,y,z) when x =1, y = 0, z = 0.
Minterm : xyz
Maxterm: x + y + z
Write short hand notation for the following minterms : XYZ, XYZ, XYZ
Short hand notation for the minterms XYZ, XYZ, XYZ is F = (2, 3, 7)
Write short hand notation for the following maxterms :
X + Y + Z, X + Y+ Z, X+ Y + Z, X + Y+ Z
Short hand notation for the maxterms X + Y + Z, X + Y+ Z, X+ Y + Z, X + Y+ Z is F = (0, 2, 3, 5)
What is the Boolean expression, containing only the sum of minterms, called?
The Boolean expression, containing only the sum of minterms, is called Canonical Sum- of Product Form of an
expression.
What is the Boolean expression, containing only the product of Maxterms, called?
The Boolean expression, containing only the product of Maxterms, is called Canonical Product- of Sum Form of an
expression.
What is the other name of Karnaugh map? Who invented Karnaugh maps?
The other name of Karnaugh map is Veitch diagrams. Maurice Karnaugh was invented Karnaugh maps.
Why are NAND and NOR gates called Universal gates?
Circuits using NAND and NOR are popular as they are easier to design and therefore cheaper. Functions of other gates
can easily be implemented using NAND and NOR gates. For this reason they are called universal gates.
Which gates are called Universal gates and why?
NAND and NOR gates are called Universal gates because NAND and NOR gates are less expensive and easier to design.
Also other functions (NOT, AND, OR) can easily be implemented using NAND/NOR gates.
CBSE CS N IP
Page 2 of 35
30.
Ans.
31.
Ans.
32.
Ans.
33.
Ans.
34.
Ans.
35.
Ans.
36.
Ans.
37.
Ans.
State the purpose of reducing the switching functions to the minimal form?
The switching functions are practically implemented in the form of gates. A minimized Boolean expression means less
number of gates which means simplified circuitary. Thus, the purpose of reducing the switching functions to the
minimal form is getting circuitary.
Draw a logic circuit diagram using NAND or NOR only to implement the Boolean function
F(a,b) = ab + ab
3.
Ans.
What do you understand by truth table and truth function? How are these related?
The statements which can be determined to be True or False are called logical statements or truth functions.
The result TRUE or FALSE are called truth values.
Both truth table and truth function are related in a way that truth function yields truth values.
What do you understand by logical function? What is its alternative name? Give examples for logical functions.
Logic statements or truth functions are combined with the help of Logical Operators like AND, OR and NOT to form a
Logical function. Its alternative name is Compound statement.
Examples for logical functions are as Following :
He prefers tea not coffee.
He plays guitar and she plays sitar.
I watch TV on Sundays or I go for swimming.
What is meant by tautology and fallacy? Prove that 1 + Y is a tautology and 0 . Y is a fallacy.
If result of any logical statement or expression is always TRUE or 1, it is called Tautology and if the result is always
FALSE or 0 it is called Fallacy.
We will prove 1 + Y is a tautology with the help of truth table which is given below :
1
Y
R
1
0
1
1
1
1
From truth table it is prove that 1 + Y is a tautology.
We will prove 0 . Y is a fallacy with the help of truth table which is given below :
CBSE CS N IP
Page 3 of 35
4.
Ans.
5.
Ans.
6.
Ans.
7.
Ans.
8.
Ans.
9.
Ans.
10.
0
Y
R
0
0
0
0
1
0
From truth table it is prove that 0 . Y is a fallacy.
What is a truth table? What is its significance?
Truth Table is a table which represents all the possible values of logical variables/ statements along with all the
possible results of the given combinations of values. With the help of truth table we can know all the possible
combinations of values and results of logical statements.
In the Boolean Algebra, verify using truth table that X + XY = X for each X , Y in {0 , 1}.
X
Y
XY
X + XY
0
0
0
0
0
1
0
0
1
0
0
1
1
1
1
1
Both the columns X and X + XY are identical, hence proved.
In the Boolean Algebra, verify using truth table that (X + Y) = XY for each X , Y in {0 , 1}.
X
Y
X+Y
(X + Y)
X
Y
XY
0
0
0
1
1
1
1
0
1
1
0
1
0
0
1
0
1
0
0
1
0
1
1
1
0
0
0
0
Both the columns (X + Y) and XY are identical, hence proved.
Give truth table for the Boolean Expression (X + Y).
X
Y
Y
X + Y
(X + Y)
0
0
1
1
0
0
1
0
0
1
1
0
1
1
0
1
1
0
1
0
Draw the truth table for the following equations :
(a) M = N (P + R)
(a)M = N (P + R)
(b) M = N + P + NP
N
P
R
P+R
N (P + R)
N
P
R
P
NP
N + P + NP
0
0
0
0
0
0
0
0
1
0
0
0
0
1
1
0
0
0
1
1
0
0
0
1
0
1
0
0
1
0
0
0
1
0
1
1
1
0
0
1
1
0
0
1
1
0
0
0
0
1
0
0
1
1
1
1
0
1
1
1
1
0
1
1
1
1
1
1
0
1
1
1
1
0
0
0
1
1
1
1
1
1
1
1
1
0
0
1
Using truth table, prove that AB + BC + CA = AB + CA.
A
B
C
A
AB
BC
CA
AB + BC + CA
0
0
0
1
0
0
0
0
0
0
1
1
0
0
1
1
0
1
0
1
0
0
0
0
0
1
1
1
0
1
1
1
1
0
0
0
0
0
0
0
1
0
1
0
0
0
0
0
1
1
0
0
1
0
0
1
1
1
1
0
1
1
0
1
Both the columns AB + BC + CA and AB + CA are identical, hence proved.
What are the basic postulates of Boolean algebra?
CBSE CS N IP
AB + CA
0
1
0
1
0
0
1
1
Page 4 of 35
Ans.
11.
Ans.
12.
Ans.
13.
Ans.
14.
Ans.
15.
Ans.
16.
Ans.
CBSE CS N IP
Page 5 of 35
17.
Ans.
18.
Ans.
19.
Ans.
20.
Ans.
1
0
0
0
0
0
0
0
1
0
1
1
0
1
1
1
1
1
0
1
1
0
1
1
1
1
1
1
1
1
1
1
From truth table it is prove that X(Y +Z) = XY + XZ
(b) X + YZ = (X + Y)(X + Z)
X
Y
Z
YZ
X + YZ
XZ
X+Y
X+Z
(X + Y)(X + Z)
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
1
0
0
1
0
0
0
0
1
0
0
0
1
1
1
1
0
1
1
1
1
0
0
0
1
0
1
1
1
1
0
1
0
1
1
1
1
1
1
1
0
0
1
0
1
1
1
1
1
1
1
1
1
1
1
1
From truth table it is prove that X + YZ = (X + Y)(X + Z)
Give algebraic proof of absorption law of Boolean algebra.
Absorption law states that (i) X + XY = X and (ii) X(X + Y) = X
(i) X + XY = X
(ii) X(X + Y) = X
LHS = X + XY = X(1 + Y)
LHS = X(X + Y) = X . X + XY
=X.1
[ 1 + Y = 1]
= X + XY
= X = RHS. Hence proved.
= X(1 + Y)
=X.1
= X = RHS. Hence proved.
Prove algebraically that (X + Y)(X + Z) = X + YZ.
L.H.S. = (X + Y)(X + Z) = XX + XZ + XY + YZ
= X + XZ + XY + YZ
(XX = X Indempotence law)
= X + XY + XZ + YZ = X(1 + Y) + Z(X + Y)
= X.1 + Z(X + Y)
(1 + Y = 1 property of 0 and 1)
= X + XZ + YZ)
(X . 1 = X property of 0 and 1)
= X(1 + Z) + YZ
= X.1 + YZ
(1 + Z = 1 property of 0 and 1)
= X.1 + YZ
(X . 1 = X property of 0 and 1)
= L.H.S. Hence proved.
Prove algebraically that X + XY = X + Y.
L.H.S. = X + XY
= X.1 + XY
(X . 1 = X property of 0 and 1)
= X(1 + Y) + XY
(1 + Y = 1 property of 0 and 1)
= X + XY + XY
= X + Y(X + X)
= X + Y.1
(X + X =1 complementarity law)
=X+Y
(Y . 1 = Y property of 0 and 1)
= R.H.S. Hence proved.
What are DeMorgans theorems? Prove algebraically the DeMorgans theorem.
DeMorgans theorems state that (i) (X + Y)= X.Y
(ii) (X.Y)= X + Y
(i) (X + Y)= X.Y
Now to prove DeMorgans first theorem, we will use complementarity laws.
Let us assume that P = x + Y where, P, X, Y are logical variables. Then, according to complementation law
P + P =1 and P . P= 0
That means, if P, X, Y are Boolean variables hen this complementarity law must hold for variables P. In other words, if
P i.e., if (X + Y)= X.Ythen
(X + Y) + (XY)must be equal to 1.
(as X + X= 1)
(X + Y) . (XY)must be equal to 0.
(as X . X= 0)
Let us prove the first part, i.e.,
CBSE CS N IP
Page 6 of 35
(X + Y) + (XY) = 1
(X + Y) + (XY)= ((X + Y) +X).((X + Y) +Y)
= (X + X+ Y).(X + Y +Y)
= (1 + Y).(X + 1)
= 1.1
=1
So first part is proved.
Now let us prove the second part i.e.,
(X + Y) . (XY)= 0
(X + Y) . (XY) = (XY) . (X + Y)
= (XY)X + (XY)Y
= X(XY) + XYY
= 0 .Y + X . 0
=0+0=0
So, second part is also proved, Thus: X + Y = X . Y
21.
Ans.
22.
Ans.
23.
Ans.
24.
Ans.
(ii) (X.Y)= X + Y
Again to prove this theorem, we will make use of complementary law i.e.,
X + X= 1
and
X . X= 0
If XYs complement is X + Y then it must be true that
(a) XY + (X+ Y) = 1 and (b) XY(X+ Y) = 0
To prove the first part
L.H.S = XY + (X+Y)
= (X+Y) + XY
(ref. X + Y = Y + X)
= (X+Y + X).(X+Y + Y)
(ref. (X + Y)(X + Z) = X + YZ)
= (X + X+Y).(X + Y +Y)
= (1 +Y).(X + 1)
(ref. X + X=1)
= 1.1
(ref. 1 + X =1)
= 1 = R.H.S
Now the second part i.e.,
XY.(X + Y) = 0
L.H.S = (XY).(X+Y)
= XYX + XYY
(ref. X(Y + Z) = XY + XZ)
= XXY + XYY
= 0.Y + X.0
(ref. X . X=0)
= 0 + 0 = 0 = R.H.S.
XY.(X + Y)= 0
and XY + (X +Y) = 1
(XY)= X + Y. Hence proved.
Use the duality theorem to derive another boolean relation from :
A + AB = A + B
A.(A +B) = A.B
What would be the complement of the following: (a) A(BC + BC) (b) xy + yz + zz ?
(a) A(BC + BC) = (A(BC + BC))
(b) xy + yz + zz = (xy + yz + zz)
= ((A)(BC + BC))
= (xy)(yz)(zz)
= ((A)((BC) + (BC))
= (x + y)(y + z)(z + z)
= ((A)((B C) + (BC))
= (x + y)(y + z)(z + z)
= A + (B+ C)(B +C)
Prove (giving reasons) that [(x + y) + (x + y)] = x + y
[(x + y) + (x + y)] = ((x + y)).((x + y))
(Using De Morgans first theorem i.e., (A + B) = A.B)
= (x + y).(x + y)
(X = X)
=x+y
(X.X = 1)
Find the complement of the following Boolean function : F1 = AB + CD
(AB + CD) = (AB).(CD)
(De Morgans first theorem)
= (A + B).(C + D)
(DeMorgans second theorem i.e., (A.B)= A+ B)
CBSE CS N IP
Page 7 of 35
25.
Ans.
26.
Ans.
= (A + B).(C + D)
((X)= X)
Prove the following :
(i) A(B + BC + BC) = A
(ii) A + AB = A + B'
(iii) (x + y + z).(x + y + z) = y + z
(iv) ABC + ABC + ABC = AC + BC
(i) A(B + BC + BC) = A
A
B
C
BC
BC
B + BC + BC
A(B + BC + BC)
0
0
0
1
1
0
1
1
0
0
0
1
1
0
1
0
1
0
0
1
0
0
1
0
0
1
0
0
1
1
0
0
0
0
1
0
1
0
0
1
1
0
1
1
1
1
0
1
1
0
1
0
1
1
1
1
0
0
1
0
0
1
1
1
1
1
0
0
0
0
1
1
Both the columns A(B + BC + BC)and A are identical, hence proved.
(ii) A + AB = A + B'
A
B
C
A
B
AB
A + AB
A + B'
0
0
0
1
1
1
1
1
0
0
1
1
1
1
1
1
0
1
0
1
0
0
0
0
0
1
1
1
0
0
0
0
1
0
0
0
1
0
1
1
1
0
1
0
1
0
1
1
1
1
0
0
0
0
1
1
1
1
1
0
0
0
1
1
Both the columns A + AB and A + B' are identical, hence proved.
(iii) (x + y + z).(x + y + z) = y + z
x
y
z
X
x+y+z
x+ y + z
(x + y + z).(x + y + z)
y+z
0
0
0
1
0
1
0
0
0
0
1
1
1
1
1
1
0
1
0
1
1
1
1
1
0
1
1
1
1
1
1
1
1
0
0
0
1
0
0
0
1
0
1
0
1
1
1
1
1
1
0
0
1
1
1
1
1
1
1
0
1
1
1
1
Both the columns (x + y + z).(x + y + z) and y + z are identical, hence proved.
(iv) ABC + ABC + ABC = AC + BC
A
B
C
A
B
ABC ABC ABC AC BC
ABC + ABC + ABC
AC + BC
0
0
0
1
1
0
0
0
0
0
0
0
0
0
1
1
1
1
0
0
1
1
1
1
0
1
0
1
0
0
0
0
0
0
0
0
0
1
1
1
0
0
1
0
1
0
1
1
1
0
0
0
1
0
0
0
0
0
0
0
1
0
1
0
1
0
0
1
0
1
1
1
1
1
0
0
0
0
0
0
0
0
0
0
1
1
1
0
0
0
0
0
0
0
0
0
Both the columns ABC + ABC + ABC and AC + BC are identical, hence proved.
What do you mean by canonical form of a Boolean expression? Which of the following are canonical?
(i) ab + bc
(ii) abc + abc+ abc
(iii) (a + b)(a +b)
(iv) (a + b + c)(a + b+ c)(a + b +c)
(v) ab + bc + ca
Boolean Expression composed entirely either of Minterms or maxterms is referred to as canonical form of a Boolean
expression.
CBSE CS N IP
Page 8 of 35
27.
Ans.
28.
Ans.
29.
Ans.
30.
Ans.
31.
Ans.
32.
Ans.
33.
Ans.
(i)Non canonical
(ii) canonical
(iii) canonical
(iv) canonical
(v) Non canonical
Give an example for each of the following :
(i) a boolean expression in the sum of minterm form
(ii) a boolean expression in the non canonical form.
For a function F(X, Y, Z)
(i) Sum of minterms expression is
XYZ + XYZ + XYZ + XYZ
(ii) Non canonical form of Sum-of-products
XY + YZ + ZX+ XY
What are the fundamental products for each of the input words ABCD = 0010. ABCD = 1101, ABCD = 1110?
The fundamental products for each of the input words ABCD = 0010. ABCD = 1101, ABCD = 1110 are as following :
ABCD + ABCD + ABCD
A truth table has output 1s for each of these inputs :
(a)ABCD = 0011 (b) ABCD = 0101 (c) ABCD = 1000, what are the fundamental products?
The fundamental products are ABCD + ABCD + ABCD
Construct a boolean function of three variables p, q and r that has an output 1 when exactly two of p, q, r are
having values 0, and an output 0 in all other cases.
p
q
r
F
0
0
0
0
0
0
1
1
0
1
0
1
0
1
1
0
1
0
0
1
1
0
1
0
1
1
0
0
1
1
1
0
F = pqr + pqr+ pqr
Write the Boolean expression for a logic network that will have a 1 output when
X = 1, Y = 0, Z = 0; X = 1, Y = 0, Z = 1; X = 1, Y = 1, Z = 0; and X = 1, Y = 1, Z = 1.
X = 1, Y = 0, Z = 0
XYZ
X = 1, Y = 0, Z = 1
XYZ
X = 1, Y = 1, Z = 0
XYZ
X = 1, Y = 1, Z = 1
XYZ
The Boolean expression is F = XYZ+ XYZ + XYZ + XYZ
Derive the Boolean algebra expression for a logic network that will have outputs 0 only output when
X = 1, Y =1, Z = 1; X = 0, Y = 0, Z = 0; X = 1, Y = 0, Z = 0.
The outputs are to be 1 for all other cases.
X
Y
Z
F
0
0
0
0
0
0
1
1
0
1
0
1
0
1
1
1
1
0
0
0
1
0
1
1
1
1
0
1
1
1
1
0
F = (X + Y + Z)(X + Y + Z)(X + Y +Z)
A Boolean function F defined on three input variables X, Y and Z is 1 if and only if number of 1(one) inputs is odd
(e.g., F is 1 if x = 1, Y = 0, Z = 0). Draw the truth table for the above functions and express it in canonical sum-ofproducts form.
The output is 1, only if one of the inputs is odd. All the possible combinations when one of inputs is odd are
X = 1, Y = 0, Z = 0
X = 0, Y = 1, Z = 0
CBSE CS N IP
Page 9 of 35
34.
Ans.
35.
Ans.
36.
Ans.
X = 0, Y = 0, Z = 1
For these combination output is 1, otherwise output is 0. Preparing the truth table for it, we get
X
Y
Z
F
Product Terms/
Minterms
0
0
0
0
XYZ
0
0
1
1
XYZ
0
1
0
1
XYZ
0
1
1
0
XYZ
1
0
0
1
XYZ
1
0
1
0
XYZ
1
1
0
0
XYZ
1
1
1
0
XYZ
Adding all the minterms for which output is 1, we get
XYZ + XYZ + XYZ= F
This is desired Canonical Sum-of-Products form.
Output 1s appear in the truth table for these input conditions: ABCD = 0001, ABCD = 0110, and ABCD = 1110. What
is the sum-of-products equation?
ABCD = 0001 = ABCD
ABCD = 0110 = ABCD
ABCD = 1110 = ABCD
The sum-of-products equation is as following :
F = ABCD + ABCD + ABCD
Convert the following expression to canonical Sum-of=Product form :
(a) X + XY + XZ
(b) YZ + XY
(c) AB (B+C)
(a) X + XY + XY
= X(Y + Y)(Z + Z) + XY(Z + Z) + XZ(Y + Y)
= (XY + XY)(Z + Z) + XYZ + XYZ + XYZ + XYZ
= Z(XY + XY) + Z(XY + XY) + XYZ + XYZ + XYZ + XYZ
= XYZ + XYZ + XYZ + XYZ + XYZ + XYZ + XYZ + XYZ
By removing duplicate terms we get canonical Sum-of=Product form :
XYZ + XYZ + XYZ + XYZ + XYZ + XYZ + XYZ
F = (1, 2, 3, 4, 5, 6, 7)
F = m1 + m2 + m3 + m4 + m5 + m6 + m7
(b) YZ + XY
= YZ(X + X) + XY(Z + Z)
= XYZ + XYZ + XYZ + XYZ
By removing duplicate terms we get canonical Sum-of=Product form :
XYZ + XYZ + XYZ
F = (2, 3, 7)
F = m2 + m3 + m7
(c) AB(B + C)
Try by yourself.
Express in the Product of Sums form, the Boolean function F(x, y, z), and the truth table for which is given below :
X
Y
Z
F
0
0
0
1
0
0
1
0
0
1
0
1
0
1
1
0
1
0
0
1
1
0
1
0
1
1
0
1
1
1
1
1
Add a new column containing Maxterms. Now the table is as follows :
CBSE CS N IP
Page 10 of 35
37.
Ans.
38.
Ans.
X
Y
Z
F
Maxterms
0
0
0
1
X+Y+Z
0
0
1
0
X + Y + Z
0
1
0
1
X + Y + Z
0
1
1
0
X + Y + Z
1
0
0
1
X + Y + Z
1
0
1
0
X + Y + Z
1
1
0
1
X + Y + Z
1
1
1
1
X+ Y + Z'
Now by multiplying Maxterms for the output 0s, we get the desiered product of sums expression which is
(X + Y + Z)(X + Y + Z)(X + Y + Z)
Given the truth table of a function F(x, y, z). Write S-O-P and P-O-S expression from the following truth table :
X
Y
Z
F
0
0
0
0
0
0
1
0
0
1
0
0
0
1
1
1
1
0
0
1
1
0
1
0
1
1
0
0
1
1
1
1
Add a new column containing Minterms and Maxterms. Now the table is as follows :
X
Y
Z
F
Minterms Maxterms
0
0
0
0
XYZ
X+Y+Z
0
0
1
0
XYZ
X + Y + Z
0
1
0
0
XYZ
X + Y + Z
0
1
1
1
XYZ
X + Y + Z
1
0
0
1
XYZ
X + Y + Z
1
0
1
0
XYZ
X + Y + Z
1
1
0
0
XYZ
X + Y + Z
1
1
1
1
XYZ
X+ Y + Z'
Now by adding all the minterms for which output is 1, we get desired sum-of-products expression which is
XYZ + XYZ + XYZ
Now by multiplying Maxterms for the output 0s, we get the desired product of sums expression which is
(X + Y + Z)( X + Y + Z)( X + Y + Z)( X + Y + Z)( X + Y + Z)
Convert the following expressions to canonical Product-of-Sum form
(a) (A + C)(C + D)
(b) A(B + C)(C +D)
(c) (X + Y)(Y + Z)(X + Z)
(a) (A + C)(C + D)
= (A + BB + C + DD)(AA + BB + C + D)
= (A + B + C + D)(A + B + C + D)(A + B + C + D)(A + B + C + D)
By removing duplicate terms we get canonical Product-of-Sum form:
(A + B + C + D)(A + B + C + D)(A + B + C + D)
F = (0, 5 , 12)
F = M0 + M5 + M12
(b) A(B + C)(C + D)
Try by yourself.
(c) (X + Y)(Y + Z)(X + Z)
= (X + Y + ZZ)(XX + Y + Z)(X + YY + Z)
= (X + Y + Z)(X + Y + Z)(X + Y + Z)(X + Y + Z)(X + Y + Z)(X + Y + Z)
By removing duplicate terms we get canonical Product-of-Sum form:
(X + Y + Z)(X + Y + Z)( X + Y + Z)( X + Y + Z)
F = (0, 1 , 2, 4)
F = M 0 + M1 + M2 + M4
CBSE CS N IP
Page 11 of 35
39.
Ans.
40.
Ans.
41.
CBSE CS N IP
(X
(X
Page 12 of 35
Ans.
42.
Ans.
43.
Ans.
44.
Ans.
45.
Ans.
Using the Karnaugh technique obtain the simplified expression as sum of products for the following map.
CBSE CS N IP
Page 13 of 35
(c) m0 +m2 + m4 + m6
46.
Ans.
47.
Ans.
Mapping the given function in a K-map, we get 1 Pair and 1 Quad i.e.,
Pair is m4 + m5 and Quad is m1 + m3 + m5 + m7
= XYZ + XYZ + XYZ + XYZ + XYZ + XYZ
= XZ(Y + Y) + XZ(Y + Y) + XY(Z + Z)
= XZ + XZ + XY
= Z(X + X) + XY
= Z + XY
Simplified Boolean expression as for given K-map is F(X, Y, Z) = Z + XY.
CBSE CS N IP
Page 14 of 35
F(A, B, C) = AB + BC + ABC.
(b) ABCD + ABCD + ABCD + ABCD + ABCD
Mapping the given function in a K-map, we get 2 Pairs i.e.,
Pair-1 is m0 + m1 and Pair-2 is m0 + m4
You notice that there is a single 1 in a m14 because it has no adjacent
1 so it is not possible to make a pair.
= ABCD + ABCD + ABCD + ABCD + ABCD
= ABC(D + D) + ACD(B + B) + ABCD
= ABC + ACD + ABCD
Simplified Boolean expression as sum of products for given K-map is
F(A, B, C, D) = ABC + ACD + ABCD.
48.
Ans.
49.
Ans.
50.
Ans.
(iii) AB + BC
CBSE CS N IP
(iii) AB + BC
(iv) xyz + xyz
(ii) (A + B)(B + C)(C + A)
Page 15 of 35
51.
Ans.
52.
Ans.
Design a circuit (3 input) which gives a high input, when there is even number of low inputs.
Following truth table gives a high input, when
From truth table we get following function :
there is even number of low inputs :
F = XYZ + XYZ + XYZ
Logic circuit for the function F is as following :
X
Y
Z
F
0
0
0
0
0
0
1
1
0
1
0
1
0
1
1
0
1
0
0
1
1
0
1
0
1
1
0
0
1
1
1
0
Design a circuit (3 input) which gives a high input only when there is even number of low or high inputs.
Following truth table gives a high input, only when From truth table we get following function :
there is even number of low or high inputs:
F = XYZ + XYZ + XYZ + XYZ + XYZ + XYZ
Logic circuit for the function F is as following :
X
Y
Z
F
0
0
0
0
0
0
1
1
0
1
0
1
0
1
1
0
1
0
0
1
1
0
1
0
1
1
0
0
1
1
1
0
53.
Ans.
54.
Ans.
Draw the logic circuit for this Boolean equation : y = ABCD + ABCD + ABCD + ABCD
= ABCD + ABCD + ABCD + ABCD
The logic circuit for above Boolean equation will be as follows:
= BCD(A+A) + ABCD + ABCD
= BCD + ABCD + ABCD
55.
Ans.
CBSE CS N IP
Page 16 of 35
56.
Ans.
57.
Derive a Boolean expression for the output F at the network shown below :
Ans.
58.
Ans.
CBSE CS N IP
Page 17 of 35
59.
Ans.
60.
Ans.
61.
Ans.
62.
Ans.
63.
Ans.
64.
Draw the logical circuits for the following using NOR gates only :
(i)(X + Y) . (X+ Y) . (X+Y)
(ii) (X + Y + Z) . (X + Y +Z)
(i)(X + Y) . (X+ Y) . (X+Y)
(ii) (X + Y + Z) . (X + Y +Z)
The given Boolean expression can be written as
The given Boolean expression can be written as
= (X NOR Y) NOR ((NOT X) NOR Y) NOR ((NOT X) NOR
= (X NOR Y NOR Z) NOR (X NOR (NOT Y) NOR (NOT Z))
(NOT Y))
Draw the logical circuit for the following function using NAND gates only F(a, b, c) = (0, 3, 4, 7)
There are two pairs that reduces as given
The logic circuit will be as follows:
below:
Pair-1(m0 + m4) reduces to bc
Pair-2(m3 + m7) reduces to bc
Simplified Boolean expression for given Kmap is
F(A,B,C) = bc + bc
Draw the simplified logic diagram using only NAND gates to implement the three input function F denoted by the
expression : F = (0, 1, 2, 5).
There are two pairs that reduces as given
The logic circuit will be as follows:
below:
Pair-1(m0 + m2) reduces to ac
Pair-2(m1 + m5) reduces to bc
Simplified Boolean expression for given Kmap is
F(A,B,C) = ac + bc
Give an example for each of the following :
CBSE CS N IP
Page 18 of 35
Ans.
65.
(a) xy + z
Ans.
66.
(b) (x + y)z
(b) x + y + z
69.
Ans.
70.
Ans.
71.
(c) xyz
(d) x + y + z
(b) xz + y
(c) xz + y
(d) xy + yz
(e) xy + yz
(a) AND
Ans.
(a) xz + y
Ans.
68.
(d) x + y + z
(a) x + y + z
Ans.
67.
(c) xyz
(b) OR
(c) NAND
(d) NOR
CBSE CS N IP
Page 19 of 35
Ans.
72.
Ans.
73.
Ans.
74.
Ans.
75.
Ans.
76.
Ans.
77.
Ans.
78.
Ans.
79.
Ans.
80.
(a) abcd
(b) ab + cd
(c) (a + b)(c + d) (d) a + b + c + d
(e) is correct answer
Given F = AB + (C + E)(D + F), use de Morgans theorem to find F.
(a) ACE + BCE + DF (b) (A + B)(CE + DF) (c) A + B + CEDF
(d) ACE + ADF + BCE + BCE + BDF
(e)NA
AB + (C + E)(D + F)= (AB) + ((C + E)(D + F))
= (AB) + (C + E)(D + F)
= (AB) + (C + E)(D + F)
= (A + B)(CE + DF)
So , F = (A + B)(CE + DF)
The function in the following circuit is :
(e) (a + b)+(c + d)
(a) x + y + z
(b) x + y + z (c) xz + yz (d) xy + z (e) z
(c) is correct.
Try Harder Simplify the following: {[(AB)C]D]}
(a) (A + B)C + D (b) (A + B)C + D (c) A + (B + C)D (d) A + B + C + D (e) A + B + C + D
Try by Yourself.
Give the relationship that represents the dual of the Boolean property A + 1 = 1?
[Note. * = AND, + = OR and = NOT]
(a) A . 1 = 1 (b) A . 0 = 0 (c) A + 0 = 0 (d) A . A = A (e) A . 1 = 1
The relationship that represents the dual of the Boolean property A + 1 = 1 is A . 0 = 0
Simplify the Boolean expression (A + B + C)(D + E) + (A + B + C)(D + E) and choose the best answer.
(a) A + B + C (b) D + E (c) ABC (d) DE (e) None of these
(A+B+C)(D+E)' + (A+B+C)(D+E)= (A+B+C)((D+E)+(D+E))
(Distributive Law)
= (A+B+C).(1)
(X+X=1)
= A+B+C
So, simplification of the Boolean expression (A + B + C)(D + E) + (A + B + C)(D + E) yields A+B+C
Which of the following relationship represents the dual of the Boolean property x + xy = x + y?
(a) x(x + y) = xy (b) x(xy) = xy (c) x * x + y = xy (d) x(xy) = xy
(e) x(x + y) = xy
The relationship x * x + y = xy represents the dual of the Boolean property x + xy = x + y
Given the function F(X, Y, Z) = XZ + Z(X + XY), the equivalent most simplified Boolean representation for F is :
(a)Z + YZ (b) Z + XYZ (c) XZ (d) X + YZ (e) None of these
XZ + Z(X'+ XY)= XZ + XZ + XYZ
(distributive Law)
= Z(X+X) + XYZ
(distributive Law)
= Z(1) + XYZ
(Complementarity Law)
= Z+XYZ
(Identity Law)
The equivalent most simplified Boolean representation for F is Z+XYZ
Simplification of the Boolean expression (A + B)(C + D + E) + (A + B) yields which of the following results?
(a) A + B) (b) AB (c) C + D + E (d) CDE (e) ABCDE
(A + B)'(C + D + E)' + (A + B)'=(A+B)((C+D+E)+1)
(Distb. Law)
=(A+B).1
(Identity Law)
=(A+B)
(Identity Law)
=AB
(DeMorgans Law)
So, simplification of the Boolean expression (A + B)(C + D + E) + (A + B) yields AB
Given that F = AB + C + D + E, Which of the following represents the only correct expression for F?
CBSE CS N IP
Page 20 of 35
Ans.
81.
Ans.
82.
Ans.
83.
Ans.
84.
Ans.
(a) F = A + B + C + D + E
(b) F = ABCDE
(c) F = AB(C + D + E)
(d) F = AB + C + D + E
(e) F = (A + B)CDE
F = A'B'+ C'+ D'+ E'
Taking complement on both sides:
F = (A'B'+ C'+ D'+ E')
=(AB).(C)(D)(E)
=(A+B).C.D.E
So, (A + B)CDE represents correct expression for F
An equivalent representation for the Boolean expression A + 1 is
(a) A
(b) A (c) 1 (d) 0
An equivalent representation for the Boolean expression A + 1 is 1
Simplification of the Boolean expression AB + ABCD + ABCDE + ABCDEF yields which of the following results?
(a)ABCDEF (b) AB (c) AB + CD + EF (d) A + B + C + D + E + F (e) A + B(C + D(E + F))
AB + ABC + ABCD + ABCDE + ABCDEF
=(AB +ABC) + (ABCD +ABCDE) + ABCDEF
(Commutative Law Law)
=AB + ABCD +ABCDEF
(Absorption Law)
=AB +( ABCD +ABCDEF)
(Commutative Law Law)
=AB +ABCD
(Absorption Law)
=AB
So, simplification of the Boolean expression AB + ABCD + ABCDE + ABCDEF yields AB
Given the following Boolean function F = A*BC* + A*BC + AB*C
(a) Develop an equivalent expression using only NAND operations, and the logic diagram.
(b) Develop an equivalent expression using only NOR operations, and the logic diagram.
(a) Develop an equivalent expression using only NAND operations, and the logic diagram.
The given Boolean expression can be written as
= (A NAND B NAND C) NAND (A NAND B NAND C) NAND (A NAND B NAND C)
The logic diagram is as following :
(b) Develop an equivalent expression using only NOR operations, and the logic diagram.
Try by Yourself.
For the logic function of F(A, B, C, D) = (0, 1, 3, 4, 5, 7, 8, 10, 12, 14, 15).
(a) Show the truth table (b) Write the SOP form (c) Write the POS form (d) Simplify by K-map.
(a)Show the truth table
Truth table for the given function is as following :
A
B
C
D
F
Minterms Maxterms
0
0
0
0
1
ABCD
A+B+C+D
0
0
0
1
1
ABCD
A+B+C+D
0
0
1
0
ABCD
A+B+C+D
0
0
1
1
1
ABCD
A+B+C+D
0
1
0
0
1
ABCD
A+B+C+D
0
1
0
1
1
ABCD
A+B+C+D
0
1
1
0
ABCD
A+B+C+D
0
1
1
1
1
ABCD
A+B+C+D
1
0
0
0
1
ABCD
A+B+C+D
1
0
0
1
ABCD
A+B+C+D
1
0
1
0
1
ABCD
A+B+C+D
1
0
1
1
ABCD
A+B+C+D
1
1
0
0
1
ABCD
A+B+C+D
CBSE CS N IP
Page 21 of 35
85.
Ans.
1
1
0
1
ABCD
A+B+C+D
1
1
1
0
1
ABCD
A+B+C+D
1
1
1
1
1
ABCD
A+B+C+D
(b) Write the SOP form
Adding all the minterms for which output is 1, we get
ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD + ABCD
This is desired Canonical Sum-of-Product form.
(c) Write the POS form
By multiplying Maxterms for the output 0s, we get
(A+B+C+D)( A+B+C+D)( A+B+C+D)( A+B+C+D)( A+B+C+D)
This is desired Canonical Product-of-Sum form.
(d) Simplify by K-map
Mapping the given function in a K-map, we get 2 pairs and 2 Quads.
Pair-1(m14 + m15) reduces to ABC as D removed.
Pair-2(m3 + m7) reduces to ACD as B removed.
Quad-1(m0 + m4 + m8 + m12) reduces to CD as A and B removed.
Quad-1(m1 + m3 + m5 + m7) reduces to AD as B and C removed.
Simplified Boolean expression for given K-map is
F(A,B,C) = ABC + ACD + CD + AD
(a) Implement the following Boolean expression using only NAND gates.
F = (A+ B +C)(A + B)(A + C)
(b) Construction a NOR function by only NAND gates.
Try by Yourself.
CBSE CS N IP
Page 22 of 35
1(b).
Ans.
1(c)
Ans.
1(d)
Ans.
2(a).
Ans.
(ii) (X.Y)= X + Y
Again to prove this theorem, we will make use of complementary law i.e.,
X + X= 1
and
X . X= 0
If XYs complement is X + Y then it must be true that
(a) XY + (X+ Y) = 1 and (b) XY(X+ Y) = 0
To prove the first part
L.H.S = XY + (X+Y)
= (X+Y) + XY
(ref. X + Y = Y + X)
= (X+Y + X).(X+Y + Y)
(ref. (X + Y)(X + Z) = X + YZ)
= (X + X+Y).(X + Y +Y)
= (1 +Y).(X + 1)
(ref. X + X=1)
= 1.1
(ref. 1 + X =1)
= 1 = R.H.S
Now the second part i.e.,
XY.(X + Y) = 0
L.H.S = (XY).(X+Y)
= XYX + XYY
(ref. X(Y + Z) = XY + XZ)
= XXY + XYY
= 0.Y + X.0
(ref. X . X=0)
= 0 + 0 = 0 = R.H.S.
XY.(X + Y)= 0
and XY + (X +Y) = 1
(XY)= X + Y. Hence proved.
Draw a Logical Circuit Diagram for the following Boolean Expression
X.(Y + Z)
The Logical Circuit Diagram for the Boolean Expression is as following:
Convert the following Boolean expression into its equivalent Canonical Sum of Product Form (SOP).
(X + Y + Z).(X + Y + Z).(X + Y + Z)
Given (X + Y + Z).(X + Y + Z).(X + Y + Z)
(1 + 0 + 1) (1 + 0 + 0) (1 + 1 + 1)
= M4.M5.M6.M7
= (4, 5, 6, 7)
SOP is equal to(excluding position of minterms)
= (0, 1, 2, 3)
= m0 + m1 + m2 + m3
= XYZ + XYZ + XYZ + XYZ
Reduce the following Boolean expression using K-map
F(A, B, ,C, D) = (0,2,3,4,5,6,7,8,10,12)
There are 1 Pair and 2 Quads that reduce as given below:
Pair(m8 + m10) reduces to ABD
Quad-1(m0 + m4 + m12 + m8) reduces to CD
Quad- 2(m2 + m3 + m6 + m7) reduces to AC
Simplified Boolean expression for given K-map is
F(A,B,C,D) = ABD + CD + AC
State De Morgans Theorems and verify the same using truth table.
De Morgans First theorem. It states that (X+Y)=X.Y
De Morgans Second theorem. It states that (X.Y)=X+Y
Truth Table for first theorem.
Truth Table for second theorem.
X
Y
X
Y
X+Y (X+Y) X.Y
X
Y
X
Y
X.Y
(X.Y) X+Y
0
0
1
1
0
1
1
0
0
1
1
0
1
1
0
1
1
0
1
0
0
0
1
1
0
0
1
1
CBSE CS N IP
Page 23 of 35
2(b).
Ans.
2(c).
Ans.
2(d).
Ans.
3(a).
Ans.
3(b).
Ans.
3(c).
1
0
0
1
1
0
0
1
0
0
1
0
1
1
1
1
0
0
1
0
0
1
1
0
0
1
0
0
From Truth Table it is proved that (X+Y) = X.Y
From Truth Table it is proved that (X.Y) = X + Y
Write the equivalent Canonical Product of Sum Expression for the following Sum of Product Expression : F(X, Y, Z)
= (0, 2, 4, 5)
Given SOP expression : F(X, Y, Z) = (0, 2, 4, 5)
Equivalent POS expression : (1, 3, 6, 7)
Equivalent POS expression will be = M1.M3.M6.M7
M1 = (0 + 0 + 1)S Maxterm = (X + Y + Z)
M3 = (0 + 1 + 1)S Maxterm = (X + Y + Z)
M6 = (1 + 1 + 0)S Maxterm = (X + Y + Z)
M7 = (1 + 1 + 1)S Maxterm = (X + Y + Z)
Equivalent POS will be
F(X, Y, Z) = (X + Y + Z). (X + Y + Z). (X + Y + Z). (X + Y + Z)
Write the equivalent Boolean expression for the following Logic Circuit.
The equivalent Boolean expression for the given Logic Circuit is: F = AB + CD
Reduce the following Boolean expression using K-map :
F(A, B, C, D) = (5, 6, 7, 8, 9, 12, 13, 14, 15)
There are 1 Pair and 2 Quads that reduce as given below:
Pair(M5 . M7) reduces to (A + B + D)
Quad-1(M6 . M7 . M14 . M15) reduces to (B + C)
Quad- 2(M8 . M9. M12 . M13) reduces to (A + C)
Simplified Boolean expression for given K-map is
F(A,B,C,D) = (A + B + D). (B + C). (A + C)
State DeMorgans Laws. Verify them using truth tables.
De Morgans First theorem. It states that (X+Y)=X.Y
De Morgans Second theorem. It states that (X.Y)=X+Y
Truth Table for first theorem.
Truth Table for second theorem.
X
Y
X
Y
X+Y (X+Y) X.Y
X
Y
X
Y
X.Y
(X.Y) X+Y
0
0
1
1
0
1
1
0
0
1
1
0
1
1
0
1
1
0
1
0
0
0
1
1
0
0
1
1
1
0
0
1
1
0
0
1
0
0
1
0
1
1
1
1
0
0
1
0
0
1
1
0
0
1
0
0
From Truth Table it is proved that (X+Y) = X.Y
From Truth Table it is proved that (X.Y) = X + Y
Prove (A + B).(A + C)=(A + B + C).(A + B + C).(A + B + C).(A + B + C) algebraically.
RHS = (A + B + C).(A + B + C).(A + B + C).(A + B + C)
= (A + B)(C + C).(A + C)(B + B)
( C + C=1, B + B=1)
= (A + B).(A + C)
= LHS
Obtain a simplified form for a Boolean expression :
F(X, Y, Z, W) = (0, 1, 4, 5, 7, 8, 9, 12, 13, 15) using K-map method.
There are 1 Pair and 1 Octet that reduce as given below:
Pair(m7 + m15) reduces to YZW
Octet(m0 + m1 + m4 + m5 + m8 + m9 + m12 + m13) reduces to Z
Simplified Boolean expression for given K-map is
F(X,Y,Z,W) = YZW + Z
Ans.
3(d).
Draw the circuit diagram for the Boolean function F(X, Y, Z) = (X + Y)(Y + Z) using NOR gates only.
CBSE CS N IP
Page 24 of 35
Ans.
3(e).
Express in the POS form, the Boolean function F(A, B, C), the truth table for which is given below :
A
B
C
F
0
0
0
0
0
0
1
1
0
1
0
0
0
1
1
1
1
0
0
0
1
0
1
1
1
1
0
0
1
1
1
1
The desired Canonical Product-of-Sum form is as following;
F = (0, 2, 4, 6) = (A + B + C)(A + B + C)(A + B + C)(A + B + C)
State the distributive law. Verify the law using truth table.
Distributive law state that (a) X(Y +Z) = XY + XZ (b) X + YZ = (X + Y)(X + Z)
(a) X(Y +Z) = XY + XZ
To prove this law, we will make a following truth table :
X
Y
Z
Y+Z
XY
XZ
X(Y + Z)
XY + XZ
0
0
0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
1
0
1
0
0
0
0
0
1
1
1
0
0
0
0
1
0
0
0
0
0
0
0
1
0
1
1
0
1
1
1
1
1
0
1
1
0
1
1
1
1
1
1
1
1
1
1
From truth table it is prove that X(Y +Z) = XY + XZ
(b) X + YZ = (X + Y)(X + Z)
X
Y
Z
YZ
X + YZ
XZ
X+Y
X+Z
(X + Y)(X + Z)
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
1
0
0
1
0
0
0
0
1
0
0
0
1
1
1
1
0
1
1
1
1
0
0
0
1
0
1
1
1
1
0
1
0
1
1
1
1
1
1
1
0
0
1
0
1
1
1
1
1
1
1
1
1
1
1
1
From truth table it is prove that X + YZ = (X + Y)(X + Z)
Prove x + xy = x + y algebraically.
LHS = x + xy
= (x + x)(x + y)
(X + YZ = (X + Y)(X + Z) Distributive law)
=x+y
(x + x =1)
= RHS
Write the dual of the Boolean expression (x + y).(x + y)
The dual of the given Boolean expression is xy + xy
Minimize F(w, x, y, z) using Karnaugh map
F(w, x, y, z) = (0, 4, 8, 12)
Ans.
4(a).
Ans.
4(b).
Ans.
4(c).
Ans.
4(d).
Ans.
CBSE CS N IP
Page 25 of 35
4(e).
Ans.
Represent the Boolean expression (x + y)(y + z)(z + x) with the help of NOR gates only.
4(f).
Write sum of products form of function F(x, y, z). The truth table representation for the function F is given below :
x
y
z
F
0
0
0
0
0
0
1
0
0
1
0
1
0
1
1
0
1
0
0
1
1
0
1
0
1
1
0
0
1
1
1
1
The desired Canonical Sum-of-Product form is as following;
F = (2, 4, 7) = xyz + xyz + xyz
State and prove DeMorgans Theorem (Any One) algebracaly.
DeMorgans theorems state that (i) (X + Y)= X.Y
(ii) (X.Y)= X + Y
(i) (X + Y)= X.Y
Now to prove DeMorgans first theorem, we will use complementarity laws.
Let us assume that P = x + Y where, P, X, Y are logical variables. Then, according to complementation law
P + P =1 and P . P= 0
That means, if P, X, Y are Boolean variables hen this complementarity law must hold for variables P. In other words, if
P i.e., if (X + Y)= X.Ythen
(X + Y) + (XY)must be equal to 1.
(as X + X= 1)
(X + Y) . (XY)must be equal to 0.
(as X . X= 0)
Let us prove the first part, i.e.,
(X + Y) + (XY) = 1
(X + Y) + (XY)= ((X + Y) +X).((X + Y) +Y)
(ref. X + YZ = (X + Y)(X + Z))
= (X + X+ Y).(X + Y +Y)
= (1 + Y).(X + 1)
(ref. X + X=1)
= 1.1
(ref. 1 + X =1)
=1
So first part is proved.
Now let us prove the second part i.e.,
(X + Y) . (XY)= 0
(X + Y) . (XY) = (XY) . (X + Y)
(ref. X(YZ) = (XY)Z)
= (XY)X + (XY)Y
(ref. X(Y + Z) = XY + XZ)
= X(XY) + XYY
= 0 .Y + X . 0
(ref. X . X=0)
=0+0=0
So, second part is also proved, Thus: X + Y = X . Y
Given the following truth table, driven a Sum of Product (SOP) and Product of Sum (POS) form of Boolean
Ans.
5(a).
Ans:
5(b).
CBSE CS N IP
Page 26 of 35
Ans.
5(c).
Ans.
expression from it :
X
Y
Z
G(X, Y, Z)
0
0
0
0
0
0
1
1
0
1
0
1
0
1
1
0
1
0
0
0
1
0
1
1
1
1
0
0
1
1
1
1
The desired Canonical Sum-of-Product form is as following;
G = (1, 2, 5, 7) = XYZ + XYZ + XYZ + XYZ
The desired Canonical Product-of-Sum form is as following;
G = (0, 3, 4, 6) = (X + Y + Z)(X + Y + Z)(X + Y + Z)(X + Y + Z)
Obtain a simplified form for the following Boolean Expression using Karnaughs Map :
F(u, v, w, z) = (0, 3, 4, 5, 7, 11, 13, 15).
There are 2 Pairs and 1 Quad that reduce as given below:
Pair-1(m0 + m4) reduces to uwz
Pair-2(m5 + m13) reduces to vwz
Quad(m3 + m7 + m11 + m15) reduces to wz
Simplified Boolean expression for given K-map is
F(u, v, w, z) = uwz + vwz + wz
5(d).
Ans.
Draw the logic circuit for a Half Adder using NOR gates only.
5(e).
Ans.
6(a).
Ans.
The equivalent Boolean expression for the given Logic Circuit is: F = (W + X)(Y + Z)
State DeMorgans Laws. Verify one of the DeMorgans laws using truth tables.
De Morgans First theorem. It states that (X+Y)=X.Y
De Morgans Second theorem. It states that (X.Y)=X+Y
Truth Table for first theorem.
X
Y
X
Y
X+Y (X+Y) X.Y
0
0
1
1
0
1
1
0
1
1
0
1
0
0
1
0
0
1
1
0
0
1
1
0
0
1
0
0
From Truth Table it is proved that (X+Y) = X.Y
Prove X + YZ = (X + Y + Z)(X + Y + Z)(X + Y + Z) algebraically.
Try by Yourself.
Write the dual of the Boolean expression (U + W)(VU + W)
The dual of the given Boolean expression is UW + (V + U)W
Obtain a simplified form for a Boolean expression :
F(u, v, w, z) = (0, 1, 3, 5, 7, 9, 10, 11, 12, 13, 14, 15( using Karnaugh Map.
6(b).
Ans.
6(c).
Ans.
6(d).
CBSE CS N IP
Page 27 of 35
Ans.
6(e).
Ans.
6(f).
Ans.
7(a).
Ans.
7(b).
Ans.
7(c).
Ans.
Write the Product of Sum form of the function H(U, V, W), truth table representation of H is as follows :
U
V
W
H
0
0
0
1
0
0
1
0
0
1
0
1
0
1
1
0
1
0
0
0
1
0
1
1
1
1
0
0
1
1
1
1
The desired Canonical Product-of-Sum form is as following;
H = (1, 3, 4, 6) = (U + V + W)(U + V + W)(U + V + W)(U + V + W)
State and prove the absorption law algebraically.
Absorption law states that (i) X + XY = X and (ii) X(X + Y) = X
(i) X + XY = X
(ii) X(X + Y) = X
LHS = X + XY = X(1 + Y)
LHS = X(X + Y) = X . X + XY
=X.1
[ 1 + Y = 1]
= X + XY
= X = RHS. Hence proved.
= X(1 + Y)
=X.1
= X = RHS. Hence proved.
Given the following truth table, derive a sum of product (SOP) and Product of Sum (POS) form of Boolean
expression from it :
A
B
C
G(A, B, C)
0
0
0
0
0
0
1
1
0
1
0
1
0
1
1
0
1
0
0
0
1
0
1
1
1
1
0
0
1
1
1
1
The desired Canonical Sum-of-Product form is as following;
G = (1, 2, 5, 7) = ABC + ABC + ABC + ABC
The desired Canonical Product-of-Sum form is as following;
G = (0, 3, 4, 6) = (A + B + C)(A + B + C)(A + B + C)(A + B + C)
Obtain a simplified form for the following Boolean Expression using Karnaughs Map :
F(a, b, c, d) = (0, 1, 2, 4, 5, 7, 8, 9, 10, 11, 14)
CBSE CS N IP
Page 28 of 35
7(d).
Ans.
7(e).
Ans.
8(a).
Ans.
The equivalent Boolean expression for the given Logic Circuit is: F = (W + X).(Y + Z)
State Absorption Laws. Verify one of the Absorption Law using truth table.
Absorption law states that (i) X + XY = X and (ii) X(X + Y) = X
Truth Table for X + XY = X
X
Y
XY
X + XY
0
0
0
0
0
1
0
0
1
0
0
1
1
1
1
1
From Truth Table it is proved that X + XY = X
Verify X.Y + Y.Z = X.Y.Z + X.Y.Z + X.Y.Z algebraically.
RHS = X.Y.Z + X.Y.Z + X.Y.Z
= X.Y(Z + Z) + X.Y.Z
= X.Y + X.Y.Z
= X.Y + Y(X + X.Z)
(
X + X = 1)
= X.Y + Y.Z
= LHS
Write the dual of the Boolean expression A + B . C
The dual of the given Boolean expression is A.(B + C)
Obtain a simplified form for a boolean expression
F(U, V, W, Z) = (0, 1, 3, 4, 5, 6, 7, 9, 10, 11, 13, 15) using Karnaugh Map.
There are 3 Pairs and 1 Octet that reduce as given below:
Pair-1(m0 + m4) reduces to UWZ
Pair-2(m6 + m7) reduces to UVW
Pair-3(m10 + m11) reduces to UVW
Octet (m1 + m3 + m5 + m7 + m9 + m11 + m13 + m15) reduces to Z
Simplified Boolean expression for given K-map is
F(U, V, W, Z) = UWZ + UVW + UVW + Z
Represent the Boolean expression X . Y + Z with the help of NOR gates only.
8(b).
Ans.
8(c).
Ans.
8(d).
Ans.
8(e).
CBSE CS N IP
Page 29 of 35
Ans.
8(f).
Ans.
9(a).
Ans.
9(b).
Ans.
9(c).
Ans.
Write the Product of Sum form of the function H(U, V, W), truth table representation of H is as follows :
U
V
W
H
0
0
0
1
0
0
1
1
0
1
0
0
0
1
1
1
1
0
0
0
1
0
1
1
1
1
0
0
1
1
1
0
The desired Canonical Product-of-Sum form is as following;
H = (2, 4, 6, 7) = (U + V + W)(U + V + W)(U + V + W)(U + V + W)
State the distributive law and verify the law using truth table.
Distributive law state that (a) X(Y +Z) = XY + XZ (b) X + YZ = (X + Y)(X + Z)
(a) X(Y +Z) = XY + XZ
To prove this law, we will make a following truth table :
X
Y
Z
Y+Z
XY
XZ
X(Y + Z)
XY + XZ
0
0
0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
1
0
1
0
0
0
0
0
1
1
1
0
0
0
0
1
0
0
0
0
0
0
0
1
0
1
1
0
1
1
1
1
1
0
1
1
0
1
1
1
1
1
1
1
1
1
1
From truth table it is prove that X(Y +Z) = XY + XZ
(b) X + YZ = (X + Y)(X + Z)
X
Y
Z
YZ
X + YZ
XZ
X+Y
X+Z
(X + Y)(X + Z)
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
1
0
0
1
0
0
0
0
1
0
0
0
1
1
1
1
0
1
1
1
1
0
0
0
1
0
1
1
1
1
0
1
0
1
1
1
1
1
1
1
0
0
1
0
1
1
1
1
1
1
1
1
1
1
1
1
From truth table it is prove that X + YZ = (X + Y)(X + Z)
Prove XY + YZ + YZ = XY + Z, algebraically.
LHS = XY + YZ + YZ
= XY + Z(Y + Y)
(
Y + Y = 1)
= XY + Z
Obtain the simplified form of a boolean expression using Karnaugh map
F(w, x, y, z) = (2, 3, 6, 10, 11, 14)
CBSE CS N IP
Page 30 of 35
Represent the Boolean expression (X + Y)(Y + Z)(X + Z) with help of NOR gate only.
9(e).
Given the following truth table, write the products of sums form of the function F(x, y, z):
x
y
z
F
0
0
0
0
0
0
1
1
0
1
0
1
0
1
1
0
1
0
0
0
1
0
1
1
1
1
0
0
1
1
1
1
Ans.
The desired Canonical Product-of-Sum form is as following;
F = (0, 3, 4, 6) = (x + y + z)(x + y + z)(x + y + z)(x + y + z)
10(a). State and verify Duality principle.
The principle of duality states that starting with a Boolean relation, another Boolean relation can be derived by :
1 .Changing each OR sign(+) to an AND sign(.).
2. Changing each AND sign(.) to an OR sign(+).
3. Replacing each 0 by 1 and each 1 by 0.
For example postulate II states (a) 0 + 0 = 0 (b) 0 + 1 = 1 (c) 1 + 0 = 1 (d) 1 + 1 = 1
Now according to principle of duality we changed + to . and 0 to 1.
These become (i) 1 . 1 = 1 (ii) 1 . 0 = 0 (iii) 0 . 1 = 0 (iv) 0 . 0 = 0 ,which are same as postulate III.
So i, ii, iii, iv are duals of a, b, c, d.
10(b). Prove algebraically xyz + xyz + xyz + xyz + xyz + xyz = x + y
Ans.
LHS = xyz + xyz + xyz + xyz + xyz + xyz
= xy(z + z) + xy(z + z) + xy(z + z)
(
z + z = 1, z + z = 1)
= xy + xy + xy
= x(y + y) + xy
= x + xy
(
y + y = 1)
= x + (x)y
(
x = (x))
= x + y
(
a + ab = a + b x + xy = x + y)
= RHS
10(c). If F(a, b, c, d) = (0, 1, 3, 4, 5, 7, 8, 9, 11, 12, 13, 15), obtain the simplied form using K-Map.
Ans.
There are 1 Quad and 1 Octet that reduce as given below:
Pair (m3 + m7 + m11 + m15) reduces to cd
Quad (m0+ m1 + m4 + m5 + m8 + m9 + m12 + m13) reduces to c
Simplified Boolean expression for given K-map is
F(a, b, c, d) = cd + c
10(d). Seven inverters are cascaded one after another. What is the output if the input is 1?
CBSE CS N IP
Page 31 of 35
Ans.
10(e).
0
Given the following circuit :
11(c).
Convert the following Boolean expression into its equivalent Canonical Product of Sum Form(POS) :
A.B.C + A.B.C + A.B.C
Ans.
Given A.B.C + A.B.C + A.B.C
(1 0 1) (0 1 1) (0 1 0)
= m 5 + m 3 + m2
= (2, 3, 5)
POS is equal to (excluding positions of minterms)
= (0, 1, 4, 6, 7)
= M0.M1.M4.M6.M7
= (A + B + C).(A + B + C).(A + B + C).(A + B +C).(A + B + C)
11(d). Reduce the following Boolean expression using K-map:
F(A, B, C, D) = (0, 1, 2, 4, 5, 8, 9, 10, 11)
Ans.
There are 1 Pair and 2 Quad that reduce as given below:
Pair (m2 + m10) reduces to BCD
Quad-1 (m0+ m1 + m4 + m5 ) reduces to AC
Quad-2 (m0+ m1 + m4 + m5 ) reduces to AB
Simplified Boolean expression for given K-map is
F(A, B, C, D) = BCD + AC + AB
12(a).
Ans.
CBSE CS N IP
Page 32 of 35
1
1
1
1
1
1
1
1
From truth table it is prove that X(Y +Z) = XY + XZ
(b) X + YZ = (X + Y)(X + Z)
X
Y
Z
YZ
X + YZ
XZ
X+Y
X+Z
(X + Y)(X + Z)
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
1
0
0
1
0
0
0
0
1
0
0
0
1
1
1
1
0
1
1
1
1
0
0
0
1
0
1
1
1
1
0
1
0
1
1
1
1
1
1
1
0
0
1
0
1
1
1
1
1
1
1
1
1
1
1
1
From truth table it is prove that X + YZ = (X + Y)(X + Z)
12(b). Draw a Logical Circuit Diagram for the following Boolean Expression: A.(B + C)
Ans.
12(C). Convert the following Boolean expression into its equivalent Canonical Sum of Product Form(SOP).
(U + V + W).(U + V + W).(U + V + W)
Ans.
Given (U + V + W).(U + V + W).(U + V + W)
(1 + 1 + 1) (0 + 1 + 1) (0 + 0 + 0)
= M0.M3.M7
= (0, 3, 7)
SOP is equal to(excluding position of Maxterms)
= (1, 2, 4, 5, 6)
= m1 + m2 + m4 + m5 + m6
= UVW + UVW + UVW + UVW + UVW
12(d). Reduce the following Boolean expression using K-map:
F(A, B, C, D) = (0, 3, 4, 5, 7, 9, 11, 12, 13, 14)
Ans.
There are 4 Pair and 1 Quad that reduce as given below:
Pair-1(m4 + m5) reduces to ABC
Pair-2(m7 + m13) reduces to ACD
Pair-3(m9 + m11) reduces to ABD
Pair-4(m12 + m14) reduces to ABD
Quad(m1+ m5 + m9 + m13 ) reduces to CD
Simplified Boolean expression for given K-map is
F(A, B, C, D) = ABC + ACD + ABD + ABD + CD
13(a). Verify the following algebraically: X.Y + X.Y = (X + Y).(X + Y)
Ans.
RHS = (X + Y).(X + Y)
= (X + Y).X + (X + Y).Y
= X.X + X.Y + X.Y + Y.Y
= 0 + X.Y + X.Y + 0
= X.Y + X.Y
= LHS (Verified)
13(b). Write the equivalent Boolean Expression for the following Logic Circuit.
Ans.
13(c).
The equivalent Boolean Expression for the given Logic Circuit is: F = (U + V).(V + W)
Write the SOP form of a Boolean function G, which is represented in a truth table as follows:
P
Q
R
G
0
0
0
0
CBSE CS N IP
Page 33 of 35
0
0
1
0
0
1
0
1
0
1
1
1
1
0
0
1
1
0
1
0
1
1
0
1
1
1
1
1
Ans.
The desired Canonical Sum-of-Product form is as following;
G = (2, 3, 4, 6, 7) = PQR + PQR + PQR + PQR + PQR
13(d). Reduce the following Boolean expression using K-map: F(A, B, C, D) = (3, 4, 5, 6, 7, 13, 15)
Ans.
There are 2 Pair and 1 Quad that reduce as given below:
Pair-1(m3 + m7) reduces to ACD
Pair-2(m4 + m7) reduces to ABD
Quad(m1+ m5 + m9 + m13 ) reduces to BD
Simplified Boolean expression for given K-map is
F(A, B, C, D) = ACD + ABD + BD
14(a). Verify XY + XY + XY = (X + Y) using truth table.
Ans.
X
Y
X
Y
XY
XY XY XY + XY + XY X + Y
0
0
1
1
0
0
1
1
1
0
1
1
0
1
0
0
1
1
1
0
0
1
0
1
0
1
1
1
1
0
0
0
0
0
0
0
From Truth Table it is proved that XY + XY + XY = (X + Y)
14(b). Write the equivalent Boolean Expression for the following Logic Circuit.
Ans.
14(c).
The equivalent Boolean Expression for the given Logic Circuit is: F = (X + Y).(X + Z)
15(a).
Ans.
Write the POS form of a Boolean function H, which is represented in a truth table as follows:
A
B
C
H
0
0
0
0
0
0
1
1
0
1
0
1
0
1
1
1
1
0
0
1
1
0
1
0
1
1
0
0
1
1
1
1
Ans.
The desired Canonical Product-of-Sum form is as following;
H = (0, 5, 6) = (A + B + C).(A + B + C).(A + B + C)
14(d). Reduce the following Boolean expression using K-map:
F(P, Q, R, S) = (1, 2, 3, 4, 5, 6, 7, 9, 11, 12, 13, 15)
Ans.
There are 2 Pair and 1 Octet that reduce as given below:
Pair-1(m2 + m6) reduces to QRS
Pair-2(m4 + m12) reduces to PRS
Octet (m1+ m3 + m5 + m7 + m9+ m11 + m13 + m15) reduces to S
Simplified Boolean expression for given K-map is
F(P, Q, R, S) = QRS + PRS + S
CBSE CS N IP
X(X + Y)
Page 34 of 35
0
0
0
0
0
0
0
0
0
1
0
0
0
1
1
0
1
0
0
1
1
0
1
1
1
1
1
1
1
1
1
1
From Truth Table it is proved that X + XY = X
From Truth Table it is proved that X(X + Y) = X
15(b). Write the equivalent Boolean Expression for the following Logic Circuit.
The equivalent Boolean Expression for the given Logic Circuit is: F = PQ + PR
Write the POS form of a Boolean function H, which is represented in a truth table as follows:
U
V
W
G
0
0
0
1
0
0
1
1
0
1
0
0
0
1
1
0
1
0
0
1
1
0
1
1
1
1
0
0
1
1
1
1
Ans.
The desired Canonical Product-of-Sum form is as following;
G = (2, 3, 6) = (U + V + W).(U + V + W).(U + V + W)
15(d). Reduce the following Boolean expression using K-map:
H(U, V, W, Z) = (0, 1, 4, 5, 6, 7, 11, 12, 13, 14, 15)
Ans.
There are 2 Pair and 1 Octet that reduce as given below:
Pair-1(m0 + m1) reduces to UVW
Pair-2(m11+ m15) reduces to UWZ
Octet (m4+ m5 + m6 + m7 + m12+ m13 + m14 + m15) reduces to V
Simplified Boolean expression for given K-map is
F(U, V, W, Z) = UVW + UWZ + V
Ans.
15(c).
CBSE CS N IP
Page 35 of 35