Академический Документы
Профессиональный Документы
Культура Документы
Answer: If y = 0 1+ 0 = 1
If y = 0 0.0 = 0
y =1 1 + 1 = 1 hence 1 + y is a tautology
y =1 0.1 = 0 Hence 0.Y is a fallacy
X
X
X X
0 1
1 0
X Y
X Y
0 0 0
0 1 0
1 0 0
1 1 1
Only when both X and Y are 1 the result of X ⋅ Y is 1. If any one of X or Y is 0 the result is 0.
X X X+X
0 0 0
X+X = X
1 1 1
X X X⋅X
0 0 0
X ⋅X = X
1 1 1
X X +X =X
OR
X
X X⋅X = X
AND
X
i.e., X = X
24. Prove involution law using truth table.
Answer:
X X X
0 1 0 X =X
1 0 1
First column represent value of X , second represents complement of X i.e., X and third represent
complement of X (i.e., X ).
X X =X
X NOT NOT
Answer: These law states that X + X = 1 and X . X = 0 . Here we will combine a variable with its
complement.
27. Prove complementary law using truth table.
Answer:
X X X+X
0 1 1
X + X =1
1 0 1
X X X ⋅X
0 1 0
X ⋅X = 0
1 0 0
X X ⋅X = 0
NOT
AND
X Y X +Y Y+X
0 0 0 0
0 1 1 1
1 0 1 1
1 1 1 1
X Y X .Y Y ⋅X
0 0 0 0
0 1 0 0
1 0 0 0
1 1 1 1
X X +Y X Y+X
OR = OR
X X
X X Y ⋅X
X ⋅Y
AND = AND
X X
X ⋅ (Y ⋅ Z ) = ( X ⋅ Y ) ⋅ Z
X Y Z X +Y Y +Z X + (Y + Z ) (X +Y)+ Z
0 0 0 0 0 0 0
0 0 1 0 1 1 1
0 1 0 1 1 1 1
0 1 1 1 1 1 1
1 0 0 1 0 1 1
1 0 1 1 1 1 1
1 1 0 1 1 1 1
1 1 1 1 1 1 1
=
Columns X + ( Y + Z ) and ( Z + Y ) + Z both are identical and hence proved.
X Y Z Y ⋅Z X ⋅Y X ⋅ (Y ⋅ Z ) ( X ⋅Y ) ⋅ Z
0 0 0 0 0 0 0
0 0 1 0 0 0 0
0 1 0 0 0 0 0
0 1 1 1 0 0 0
1 0 0 0 0 0 0
1 0 1 0 0 0 0
1 1 0 0 1 0 0
1 1 1 1 1 1 1
X
Y
AND
AND = R
R Y AND
Z AND
X
X + YZ = ( X + Y ) ⋅ ( X + Z )
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
Since rule (b) is a dual of rule (a) hence even that is proved.
X
X
Y AND
OR
Z R Y R
AND = OR
X X
AND
Z
Y X X +Y
OR
AND Y
Z R =
OR R
AND
X
X X +Z
OR
Z
X Y XY X + XY
0 0 0 0
0 1 0 0
1 0 0 1
1 1 1 1
=
X + XY = X
39. Prove that X ⋅ ( X + Y ) = X
Answer:
X Y X +Y X ⋅( X + Y )
0 0 0 0
0 1 1 0
1 0 1 1
1 1 1 1
X
OR
X (X +Y ) = X
Y AND
Answer:
X Y Y X +Y X +Y ( X + Y )⋅( X + Y )
0 0 1 0 1 0
0 1 0 1 0 0
1 0 1 1 1 1
1 1 0 1 1 1
( ) (
XY .1 + 1.1.Z = XY Z + Z + X + X Y + Y Z )( )
XYZ , XYZ , XYZ , XYZ , XYZ , XYZ
Answer: ( X + Y )⋅( X + Z )
= XX + XZ + XY + YZ
X + XZ + XY + YZ (∵ XX = X)
X (1 + Z + Y ) + YZ (1 + Z + Y = 1)
X + YZ
Hence proved that ( X + Y ) ⋅ ( X + Z ) = X + YZ
Answer: LHS = X + XY
( X + X )( X + Y )
1. ( X + Y )
= X +Y
LHS = RHS → hence prove
Copyright © Ace Creative Learning Pvt Ltd.,|| www.ace-online.co.in
PU–Study material Boolean Algebra
(
(a) A BC + BC )
A+(B +C ⋅B +C)
(b) AB + CD
A + B ⋅C + D
(c) XY + YZ + ZZ
X +Y ⋅ Y + Z ⋅ Z + Z
(d) X + XY + XZ
X ⋅ X +Y ⋅ X + Z
expression.
57. Construct a Boolean function of three variables X , Y and Z that has an output 1 when exactly two of
X , Y and Z are having values 0 and an output 0 in all other cases.
Answer:
XYZ = 001
XYZ = 010
XYZ = 100
SOP form X Y Z + XY Z + Y Z
Since, they have asked to construct Boolean function which has output 1, so its in SOP form
58. Construct a truth table for 3 variable A, B and C that will have output 1 when
XYZ = 100, XYZ = 101, XYZ = 110 and XYZ = 111 write the Boolean expression for logic network in
SOP form.
Answer:
X Y Z F Minterms
0 0 0 0 XY Z
0 0 1 0 XY Z
0 1 0 0 XYZ
0 1 1 0 XYZ
1 0 0 1 XY Z
1 0 1 1 XY Z
1 1 0 1 XYZ
1 1 1 1 XYZ
SOP form
XY Z +XY Z+XYZ+XYZ
59. Convert the following expression to canonical product –of – sum form
Answer:
(a) ( A + C )( C + D ) [Add missing variable missing variable]
( A + C + D ⋅ D) ( A⋅ A + C + D)
( A + C + D)( A + C + D)( A + C + D)( A + C + D) (Removing duplicate terms)
( A + C + D) ( A + C + D) ( A + C + D)
M 0 ⋅ M1 ⋅ M 4 (Short hand)
(b) A ⋅ ( B + C ) C + D( )
( )(
= A + B ⋅ B + C ⋅ C + D ⋅ D ⋅ A⋅ A + B + C + D ⋅ D ) (Add missing variable)
(
= A⋅ A + B ⋅ B + C + D )
= ( A + B + C + D ) ( A + B + C + D ) ( A + B + C + D ) ( A + B + C + D )( A + B + C + D )( A + B + C + D )
( A + B + C + D ) ( A + B + C + D )( A + B + C + D )( A + B + C + D )( A + B + C + D )
Copyright © Ace Creative Learning Pvt Ltd.,|| www.ace-online.co.in
PU–Study material Boolean Algebra
= ( X + Y + Z ⋅ Z ) X ⋅ X + Y + Z ( X + Y ⋅Y + Z )
( X +Y + Z )( X + Y + Z )( X +Y + Z )( X +Y + Z )( X +Y + Z )( X +Y + Z )
(Removing duplicate terms)
= ( X + Y + Z ) ( X + Y + Z )( X + Y + Z )( X + Y + Z )
X (Y + Y )( Z + Z ) + XY ( Z + Z ) + ( XZ )(Y + Y )
( X + X )Y ⋅ Z + X ⋅Y ( Z + Z )
X ⋅ Y ⋅ Z + XY ⋅ Z + XY ⋅ Z + XYZ (Removing duplicate terms)
XYZ + XY .Z + X ⋅ Y ⋅ Z
This is desired SOP form
Shorthand m7 + m3 + m2
(
(c) AB B + C )
= AB ⋅ B + AB ⋅ C BB = B
AB ( C + C ) + AB ⋅ C
= ABC + ABC
= This is desired SOP form
Shorthand m5 + m4
Y Y (1)
X Y (0)
(0 ) X 1 1
0 1
(1) X 0
2
0
3
YZ
X ( 00 ) YZ YZ ( 01) YZ (11) (10 ) YZ
(0 ) X 0 1 0 0
0 1 3 2
(1) X 0 0 0 1
4 5 7 6
(c) X Y Z + XY Z + X Y Z
YZ
X YZ
YZ YZ YZ
X 0 1 0 1
0 3 2
X 1 0 0 0
4 5 3 6
( 00 ) AB 0 1 3 2
( 01) AB 4 5 7 6
(11) AB
12 13 15 14
(10 ) AB
8 9 11 10
63. Given the expression in 4 − variables, draw the k- map for the function
Answer:
(a) m2 + m3 + m5 + m7 + m9 + m11 + m13
CD
AB CD CD CD CD
0 0 1 1
AB 0 1 3 2
0 1 1 0
AB 4 5 7 6
AB 0 1 0 0
12 13 15 14
AB 0 1 1 11 0 10
8 9
CD
AB CD CD CD CD
1 0 0 1
AB 0 1 3 2
1 0 0 0
AB 4 5 7 6
AB 1 1 0 0
12 13 15 14
AB 1 1 1 1
8 9 11 10
BC
A
BC BC BC BC
A 1 1
0 1 3 2
1 1 1
A
4 5 7 6
(b) m1 + m2 + m3 + m5 + m7
YZ
YZ YZ YZ YZ
X
X
0
1 1
1 3
1 2
X 1 1 1
4 5 7 6
65. Write SOP expression corresponding to the function F in the following truth table and draw the
logic gate diagram ( use OR and AND gate)
Answer:
X Y Z F
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 1
X
Y AND
Z
X
Y AND
Z
XY Z + XYZ + XY Z + XYZ
OR
X
Y AND
X
Y AND
Z
If X = 1 then 1 + 1 = 1
If X = 0 then 0.0 = 0
If X = 1 then 1.1 = 1
(2) Involution law: States that if the complement of a variable complemented again, we get the same
variable that is X = X
X X X
0 1 0
1 0 1
|→ = ←|
X + YZ = ( X + Y )( X + Z )
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 1 1 1 1
1 1 0 1 0 0 1 1
1 1 1 1 1 1 1 1
|→ = ←|
X + (Y + Z ) = ( X + Y ) + Z
X .(Y .Z ) = ( X .Y ) .Z
X Y Z Y +Z X +Y X (Y + Z ) ( X +Y ) + Z
0 0 0 0 0 0 0
0 0 1 1 0 1 1
0 1 0 1 1 1 1
0 1 1 1 1 1 1
1 0 0 0 1 1 1
1 0 1 1 1 1 1
1 1 0 1 1 1 1
1 1 1 1 1 1 1
|→ = ←|
X Y Z Y +Z X + Y X (Y + Z ) ( X +Y ) + Z
0 0 0 0 0 0 0
0 0 1 0 0 0 0
0 1 0 0 0 0 0
0 1 1 1 0 0 0
1 0 0 0 0 0 0
1 0 1 0 0 0 0
1 1 0 0 1 0 0
1 1 1 1 1 1 1
|→ = ←|
68. State and prove De Morgan’s theorems by the method of perfect induction
Answer: De Morgan’s theorem states that:
X .Y = X + Y
X + Y = X .Y
Proof: To prove this theorem, we will make use of complementary law i.e. X + X = 1 and X . X = 0 If
( )
XY + X + Y = 1 and XY X + Y = 0 ( )
LHS = XY + X + Y ( )
(
= X + Y + XY )
(
= X +Y + X . X +Y +Y )( )
(
= X + X +Y . X +Y +Y )( )
= 1 + Y . X + 1 ∵ X + X = 1 and Y + Y = 1
( )( )
=1 . 1
= 1 = RHS
(
XY X + Y = 0 )
= XY X + XY Y
0.Y + X .0 ∵ X X = 0 and YY = 1
0+0
= 0 − RHS
( )
XY . X + Y = 0 and XY X + Y = 1 ( )
Thus X .Y = X + Y
Hence proved
69. Obtain the min term expression for the Booleans function F = A + BC
Answer: F = A + BC
(
A.1.1 + 1.BC = A B + B C + C + A + A BC)( ) ( )( )
= ABC + ABC + ABC + ABC + ABC + ABC
70. Explain with an example how to express a Boolean function in its sum of products form
Answer: Sum of products (SOP) is derived from two sets of known values
(i) Various possible input values
(ii) The desired output values for each of the input combinations
Let us consider a specific problem. A logical network has two input X and Y and an out put Z , the
X Y + X Y + XY = Z
Now we see it is an expression containing only minterms. This type of expression is called minterm
canonical form of Boolean expression or connonical sum of products form of expression
16. Explain with an example how to express a Boolean function in its product of sum from.
Answer: Just as any Boolean expression can be transformed into sum of minterms, it can also be
represented as a product of maxterms
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
( X + Y + Z )( X + Y + Z )( X + Y + Z )
17. Construct a truth table for minterms and maxterms for 3 variables and designate the terms
Answer:
X Y Z Minterms Designate
0 0 0 X .Y .Z m0
0 0 1 X .Y .Z m1
0 1 0 X .Y .Z m2
0 1 1 X .Y .Z m3
1 0 0 X .Y .Z m4
1 0 1 X .Y .Z m5
1 1 0 X .Y .Z m6
1 1 1 X .Y .Z m7
X Y Z Maxterms Designate
0 0 0 X +Y + Z M0
0 0 1 X +Y + Z M1
0 1 0 X +Y + Z M2
0 1 1 X +Y + Z M3
1 0 0 X +Y + Z M4
1 0 1 X +Y + Z m5
1 1 0 X +Y + Z m6
1 1 1 X +Y + Z m7
B
NAND
C B.C . AC
NAND
= BC + A.C
A
NAND
C
YZ
YZ YZ YZ YZ
WX 01
00 11 10
WX 00 1 1
0 1 3 2
WX 01 1 1
4 5 7 6
WX 11
1
12 13 15 14
W X 10 1 1
8 9 11 10
1st Quad ( m1 + m3 + m5 + m7 )
= W X YZ + W XYZ + W X YZ + W XYZ
= W/ Z
YZ
2ND Quad ( m1 + m3 + m9 + m11 )
= XZ
3rd Quad :- M1 + M 5 + M13 + M 9
= W X YZ + W X YZ + WX YZ + W X YZ
= YZ
(b) m0 + m2 + m4 + m8 + m9 + m10 + m11 + m12 + m13
YZ
YZ YZ YZ YZ
WX 01
00 11 10
WX 00 1 1 1
0 1 3 2
WX 01 1
4 5 7 6
WX 11
1 1
12 13 15 14
W X 10 1 1 1 1
8 9 10 11
= WX Y Z + WX YZ + W X Y Z + W X YZ
=WY
2nd quad M 0 + M 4 + M12 + M 8
= W X Y Z + W X Y Z + WX Y Z + W X Y Z
=YZ
3rd quad M 8 + M 9 + M10 + M11
= W X Y Z + W X YZ + W XYZ + W XY Z
=W X
4th Quard:- M 0 + M 2 + M 8 + M11
= W X Y Z + W XY Z + W X Y Z + W XY Z = XZ
(a) X + Y = X . Y
(b) X .Y = X + Y
Truth table
X Y X Y X .Y X +Y X +Y
0 0 1 1 1 0 1
0 1 1 0 0 1 0
1 0 0 1 0 1 0
1 1 0 0 0 1 0
|→ = ←|
Since all Boolean laws are dual in nature hence if one is proved, the other is also proved
20. For the Boolean function F and F ' in the truth table, find the following :
(1) List the minterms of the function F and F '
(2) Express F and F ' in sum of minterms in algebraic form
(3) Simplify the functions to an expression with a minimum number of literals
Answer:
A B C F F'
0 0 0 0 1
0 0 1 0 1
0 1 0 1 0
0 1 1 1 0
1 0 0 0 1
1 0 1 0 1
1 1 0 1 0
1 1 1 1 0
(3) Adding a column minterms for the function F and F ' the truth table would be as below:
A B C F F' min terms
0 0 0 0 1 ABC
0 0 1 0 1 ABC
0 1 0 1 0 ABC
0 1 1 1 0 ABC
1 0 0 0 1 ABC
1 0 1 0 1 ABC
1 1 0 1 0 ABC
1 1 1 1 0 ABC
( ) ( )
= A + A BC + BC A + A [Grouping the terms and removing common terms]
= BC + BC A + A = 1
(
= B C +C ) C + C = 1
=B
21. State and prove De Morgan’s theorem algebraically
Answer: De Morgan’s theorem states
X . Y = X +Y
X +Y = X . Y
To prove this theorem we make use of complementarity laws. It XY’s complement is X + Y then it must
be true that
(
(a) XY + X + Y = 1 and )
(
(b) XY X + Y = 0 )
Copyright © Ace Creative Learning Pvt Ltd.,|| www.ace-online.co.in
PU–Study material Boolean Algebra
LHS = XY + X + Y ( )
( )
= X + Y + XY
( )(
= X +Y + X . X +Y +Y )
( )(
= X + X +Y . X +Y +Y )
( )(
= 1+ Y . X +1 ∵ X + X = 1 )( )
= 1 . 1(∵1 + X = 1)
= 1 RHS
=0. Y + X .0 ∵X . X =0( )
0+0 = 0
( )
XY X + Y = 0 and XY X + Y = 1 ( )
Thus X .Y = X + Y
Since this law is dual in nature
Hence X + Y = X . Y
23. Given the Boolean function F ( X , Y , Z ) = ∑ ( 0, 2,4,5,6....) . Use Karnaugh’s map to reduce the
function F using SOP from. Write a logic gate diagram for the reduced SOP expression
Answer:
YZ
X YZ YZ YZ YZ
00 01 11 10
X'0
1 0 0 1
0 1 3 2
1 1 0 1
X1
4 5 7 6
1st quad ( m0 + m2 + m4 + m6 )
X Y Z + XY Z + X Y Z + XY Z
XZ + XZ =Z
1st pair ( m4 + m5 )
X Y Z + X YZ
XY
X XY
F ( X ,Y , Z ) = X Y + Z XY+Z
Y
(
X . Y Z + YZ )
Answer: The two complement properties of Boolean algebra states
(a) X + X = 1
(b) X . X = 0
X X X +X
0 1 1
1 0 1
X X X.X
0 1 0
1 0 0
25. Given the Boolean function F ( A, B, C, D ) = ∑( 5,6,7,8,9,10,14) Use Karnaugh’s map to reduce the
function F using SOP from. Write a logic gate diagram for the reduced SOP expression
Answer:
CD
AB
A
ABD
1st pair ( m5 + m7 ) B AND
D
= ABCD + ABCD
B
= ABD BC D
C AND
D
ABD + BC D + ABC + AC D
A
ABC
ABC D + ABC D B AND
C
= BC D
A
AC D
C AND
3rd pair ( m8 , m9 ) D
ABC D + ABCD
ABC
ABC D + ABC D
AC D
Logic Diagram:
A
ABD
B AND
D
B
BC D
C AND
D
ABD + BC D + ABC + AC D
OR
A
ABC
B AND
C
A
AC D
C AND
D
26. Given F ( A, B, C , D ) = 11( 0, 2, 4,6,8,10,14 ) use karnaugh map to reduce the function F using POS from.
00 0 0
A+B 0 1 3 2
0 1 0
A+B 01
4 5 7 6
11 0
A+B
12 13 15 14
0 0
A+B 10 8 9 11 10
( A + B + C + D ).( A + B + C + D ).( A + B + C + D ) . ( A + B + C + D)
= ( A + B + D) . ( A + B + D)
= B+D
( A + B + C + D ) . ( A + B + C + D ) .( A + B + C + D )
( A + B + C + D)
( )(
= A+C + D . A+ B +C + D )
=C+D
OR
D
( B + D )( C + D )( A + C + D )
C
OR AND
OR
C
D
3rd Quard ( M 0 + M 2 + M 4 + M 6 )
( A + B + C + D ) .( A + B + C + D ).( A + B + C + D ) .( A + B + C + D )
(
= ( A + B + D). A + B + D )
= ( A + D)
8. Using basic gates, construct a logic circuit for the Boolean expression ( X + Y ) ⋅ ( X + Z ) ⋅ (Y + Z )
Answer:
X X +Y
OR
Y
X X +Z ( X + Y ) ( X + Z )(Y + Z )
OR AND
Z
Y Y +Z
OR
Z
9. Simplify the following Boolean expressions and draw logic circuit diagrams of the simplified
expressions using NAND gates
Answer:
AB ( C + C ) + AB ( C + C )
AB ⋅ 1 + AB ⋅ 1
AB + AB
A NA A⋅B
B ND
NA A⋅B⋅ A⋅B
ND
(A ⋅ B)+ (A⋅ B)
A NA A⋅ B
B ND
BC ( A + A ) + AC ( B + B ) ( B + B = 1)
BC + AC