SlideShare ist ein Scribd-Unternehmen logo
1 von 22
Boolean Algebra
2
Boolean Algebra Summary
• We can interpret high or low voltage as representing true or
false.
• A variable whose value can be either 1 or 0 is called a Boolean
variable.
• AND, OR, and NOT are the basic Boolean operations.
• We can express Boolean functions with either an expression or a
truth table.
• Every Boolean expression can be converted to a circuit.
• Now, we’ll look at how Boolean algebra can help simplify
expressions, which in turn will lead to simpler circuits.
3
Boolean Algebra Summary
• Recall that the two binary values have different names:
– True/False
– On/Off
– Yes/No
– 1/0
• We use 1 and 0 to denote the two values.
• The three basic logical operations are:
– AND
– OR
– NOT
• AND is denoted by a dot (·).
• OR is denoted by a plus (+).
• NOT is denoted by an overbar ( ¯ ), a single quote mark (')
after, or (~) before the variable
4
Boolean Algebra Summary
• Examples:
– is read “Y is equal to A AND B.”
– is read “z is equal to x OR y.”
– is read “X is equal to NOT A.”
Tabular listing of the values of a function for all possible
combinations of values on its arguments
Example: Truth tables for the basic logic operations:
1
1
1
0
0
1
0
1
0
0
0
0
Z = X·Y
Y
X
AND OR
X Y Z = X+Y
0 0 0
0 1 1
1 0 1
1 1 1
0
1
1
0
X
NOT
X
Z=
Boolean Operator Precedence
 The order of evaluation is:
1. Parentheses
2. NOT
3. AND
4. OR
 Consequence: Parentheses appear
around OR expressions
 Example: F = A(B + C)(C + D)
6 / 28
Boolean Algebra Postulates
• Commutative Law
x • y = y • x x + y = y + x
• Identity Element
x • 1 = x x + 0 = x
x’1 = x’ x’+ 0 = x’
• Complement
x • x’ = 0 x + x’ = 1
7 / 28
Boolean Algebra Theorems
Theorem 1
– x • x = x x + x = x
• Theorem 2
– x • 0 = 0 x + 1 = 1
• Theorem 3: Involution
– ( x’ )’ = x ( x ) = x
8 / 28
Boolean Algebra Theorems
• Theorem 4:
– Associative: ( x • y ) • z = x • ( y • z )
( x + y ) + z = x + ( y + z )
– Distributive :
x • ( y + z ) = ( x • y ) + ( x • z )
x + ( y • z ) = ( x + y ) • ( x + z )
• Theorem 5: DeMorgan
– ( x • y )’ = x’ + y’ ( x + y )’ = x’ • y’
– x • y ) = x + y ( x + y ) = x • y
• Theorem 6: Absorption
– x • ( x + y ) = x x + ( x • y ) = x
Truth Table to Verify DeMorgan’s
X Y X·Y X+Y X Y X+Y X · Y X·Y X+Y
0 0 0 0 1 1 1 1 1 1
0 1 0 1 1 0 0 0 1 1
1 0 0 1 0 1 0 0 1 1
1 1 1 1 0 0 0 0 0 0
X + Y =X·Y X · Y = X + Y
• Generalized DeMorgan’s Theorem:
X1 + X2 + … + Xn = X1 · X2 · … · Xn
X1 · X2 · … · Xn = X1 + X2 + … + Xn
Logic Gates
• In the earliest computers, switches were
opened and closed by magnetic fields
produced by energizing coils in relays. The
switches in turn opened and closed the
current paths.
• Later, vacuum tubes that open and close
current paths electronically replaced relays.
• Today, transistors are used as electronic
switches that open and close current paths.
Logic Gate Symbols
• Logic gates have special symbols:
OR gate
X
Y
Z = X + Y
X
Y
Z = X ·Y
AND gate
X Z = X
NOT gate or
inverter
12
Boolean Functions
• A Boolean function is a function whose arguments, as well as the
function itself, assume values from a two-element set ({0, 1)}).
• Example: F(x, y) = x’y’ + xyz + x’y
• After finding the circuit inputs and outputs, you can come up with
either an expression or a truth table to describe what the circuit does.
• You can easily convert between expressions and truth tables.
Find the circuit’s
inputs and outputs
Find a Boolean
expression
for the circuit
Find a truth table
for the circuit
13 / 28
Boolean Functions
• Boolean Expression/Function
Example: F (x, y) = x + y’ z
• Truth Table
All possible combinations
of input variables
• Logic Circuit
x y z F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 1
1 1 0 1
1 1 1 1
x
y
z
F
Logic Diagrams and Expressions
• Boolean equations, truth tables and logic diagrams
describe the same function!
• Truth tables are unique, but expressions and logic
diagrams are not. This gives flexibility in
implementing functions.
X
Y F
Z
Logic Circuit
Logic Equation/Boolean Function
Z
Y
X
F +
=
Truth Table
1
1 1 1
1
1 1 0
1
1 0 1
1
1 0 0
0
0 1 1
0
0 1 0
1
0 0 1
0
0 0 0
X Y Z Z
Y
X
F ×
+
=
Boolean Functions Exercise
• The truth table for the function:
F (X, Y, Z ) = X Y + Y Z is:
X Y Z X Y Y Y Z F = X Y + Y Z
0 0 0 0 1 0 0
0 0 1 0 1 1 1
0 1 0 0 0 0 0
0 1 1 0 0 0 0
1 0 0 0 1 0 0
1 0 1 0 1 1 1
1 1 0 1 0 0 1
1 1 1 1 0 0 1
Draw the logic circuit for the boolean function above.
Converting from Truth Table to Boolean Function
• In designing digital circuits, the designer often begins
with a truth table describing what the circuit should do.
• The design task is largely to determine what type of
circuit will perform the function described in the truth
table.
• While some people seem to have a natural ability to look
at a truth table and immediately envision the necessary
logic gate or relay logic circuitry for the task, there are
procedural techniques available for the rest of us.
• Here, Boolean algebra proves its utility in a most
dramatic way!
Converting from Truth Table to Boolean Function
• This problem will be solved by showing that any
Boolean function can be represented by a Boolean
sum of Boolean products of the variables and their
complements or the product of sums.
• There are two ways to convert from truth tables
to Boolean functions:
1. Using Sum of Products /Minterms
2. Using Product of Sums /Maxterms
18 / 28
Converting from Truth Table to Boolean Function
• Minterm
– Product (AND function)
– Contains all variables
– Evaluates to ‘1’ for a
specific combination
Example
A = 0 A B C
B = 0 (0) • (0) • (0)
C = 0
1 • 1 • 1 = 1
A B C Minterm
0 0 0 0 m0
1 0 0 1 m1
2 0 1 0 m2
3 0 1 1 m3
4 1 0 0 m4
5 1 0 1 m5
6 1 1 0 m6
7 1 1 1 m7
C
B
A
C
B
A
C
B
A
C
B
A
C
B
A
C
B
A
C
B
A
C
B
A
19 / 28
Converting from Truth Table to Boolean Function
• Maxterm
– Sum (OR function)
– Contains all variables
– Evaluates to ‘0’ for a
specific combination
Example
A = 1 A B C
B = 1 (1) • (1) • (1)
C = 1
0 • 0 • 0 = 0
A B C Maxterm
0 0 0 0 M0
1 0 0 1 M1
2 0 1 0 M2
3 0 1 1 M3
4 1 0 0 M4
5 1 0 1 M5
6 1 1 0 M6
7 1 1 1 M7
C
B
A +
+
C
B
A +
+
C
B
A +
+
C
B
A +
+
C
B
A +
+
C
B
A +
+
C
B
A +
+
C
B
A +
+
20 / 28
Converting from Truth Table to Boolean Function
• Truth Table to Boolean Function
A B C F
0 0 0 0
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
C
B
A
F = C
B
A
+ C
B
A
+ ABC
+
Using Minterms
21 / 28
Converting from Truth Table to Boolean Function
• Truth Table to Boolean Function
A B C F
0 0 0 1
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 0
)
( C
B
A
F +
+
= )
( C
B
A +
+
Using Maxterms
)
( C
B
A +
+ )
( C
B
A +
+
22 / 28
Converting from Truth Table to Boolean Function
• Sum of Minterms A B C F
0 0 0 0 0
1 0 0 1 1
2 0 1 0 0
3 0 1 1 0
4 1 0 0 1
5 1 0 1 1
6 1 1 0 0
7 1 1 1 1
ABC
C
B
A
C
B
A
C
B
A
F +
+
+
=
7
5
4
1 m
m
m
m
F +
+
+
=

= )
7
,
5
,
4
,
1
(
F
C
AB
BC
A
C
B
A
C
B
A
F +
+
+
=
C
AB
BC
A
C
B
A
C
B
A
F +
+
+
=
C
AB
BC
A
C
B
A
C
B
A
F 


=
)
)(
)(
)(
( C
B
A
C
B
A
C
B
A
C
B
A
F +
+
+
+
+
+
+
+
=
6
3
2
0 M
M
M
M
F =

= (0,2,3,6)
F
F
1
0
1
1
0
0
1
0
•Product of Maxterms

Weitere ähnliche Inhalte

Ähnlich wie booleanalgebra-140914001141-phpapp01 (1).ppt

18 pc09 1.2_ digital logic gates _ boolean algebra_basic theorems
18 pc09 1.2_ digital logic gates _ boolean algebra_basic theorems18 pc09 1.2_ digital logic gates _ boolean algebra_basic theorems
18 pc09 1.2_ digital logic gates _ boolean algebra_basic theorems
arunachalamr16
 

Ähnlich wie booleanalgebra-140914001141-phpapp01 (1).ppt (20)

sop_pos(DE).pptx
sop_pos(DE).pptxsop_pos(DE).pptx
sop_pos(DE).pptx
 
DM2020 boolean algebra
DM2020 boolean algebraDM2020 boolean algebra
DM2020 boolean algebra
 
Boolean expression org.
Boolean expression org.Boolean expression org.
Boolean expression org.
 
Boolean algebra
Boolean algebraBoolean algebra
Boolean algebra
 
1Boolean Alegebra 3booleanalgebraold-160325120651.pdf
1Boolean Alegebra 3booleanalgebraold-160325120651.pdf1Boolean Alegebra 3booleanalgebraold-160325120651.pdf
1Boolean Alegebra 3booleanalgebraold-160325120651.pdf
 
Boolean algebra
Boolean algebraBoolean algebra
Boolean algebra
 
13 Boolean Algebra
13 Boolean Algebra13 Boolean Algebra
13 Boolean Algebra
 
Boolean algebra
Boolean algebraBoolean algebra
Boolean algebra
 
DLD Chapter-2.pdf
DLD Chapter-2.pdfDLD Chapter-2.pdf
DLD Chapter-2.pdf
 
18 pc09 1.2_ digital logic gates _ boolean algebra_basic theorems
18 pc09 1.2_ digital logic gates _ boolean algebra_basic theorems18 pc09 1.2_ digital logic gates _ boolean algebra_basic theorems
18 pc09 1.2_ digital logic gates _ boolean algebra_basic theorems
 
CHAPTER_3.1.ppt
CHAPTER_3.1.pptCHAPTER_3.1.ppt
CHAPTER_3.1.ppt
 
boolean-algebra.pdf
boolean-algebra.pdfboolean-algebra.pdf
boolean-algebra.pdf
 
102_2_digitalSystem_Chap_2_part_1.ppt
102_2_digitalSystem_Chap_2_part_1.ppt102_2_digitalSystem_Chap_2_part_1.ppt
102_2_digitalSystem_Chap_2_part_1.ppt
 
BOOLEAN ALGEBRA & LOGIC GATE
BOOLEAN ALGEBRA & LOGIC GATEBOOLEAN ALGEBRA & LOGIC GATE
BOOLEAN ALGEBRA & LOGIC GATE
 
Chapter 2.pdf
Chapter 2.pdfChapter 2.pdf
Chapter 2.pdf
 
Boolean algebra and logic gates
Boolean algebra and logic gatesBoolean algebra and logic gates
Boolean algebra and logic gates
 
digital logic design Chapter 2 boolean_algebra_&_logic_gates
digital logic design Chapter 2 boolean_algebra_&_logic_gatesdigital logic design Chapter 2 boolean_algebra_&_logic_gates
digital logic design Chapter 2 boolean_algebra_&_logic_gates
 
Boolean Algebra DLD
Boolean Algebra DLDBoolean Algebra DLD
Boolean Algebra DLD
 
UNIT1-part2.pptx
UNIT1-part2.pptxUNIT1-part2.pptx
UNIT1-part2.pptx
 
Chapter 4 logic design
Chapter 4   logic designChapter 4   logic design
Chapter 4 logic design
 

Mehr von michaelaaron25322

Unit-II AES Algorithm which is used machine learning
Unit-II AES Algorithm which is used machine learningUnit-II AES Algorithm which is used machine learning
Unit-II AES Algorithm which is used machine learning
michaelaaron25322
 
Computer organization algorithms like addition and subtraction and multiplica...
Computer organization algorithms like addition and subtraction and multiplica...Computer organization algorithms like addition and subtraction and multiplica...
Computer organization algorithms like addition and subtraction and multiplica...
michaelaaron25322
 

Mehr von michaelaaron25322 (13)

Python programming language introduction unit
Python programming language introduction unitPython programming language introduction unit
Python programming language introduction unit
 
memory Organization in computer organization
memory Organization in computer organizationmemory Organization in computer organization
memory Organization in computer organization
 
EST is a software architectural style that was created to guide the design an...
EST is a software architectural style that was created to guide the design an...EST is a software architectural style that was created to guide the design an...
EST is a software architectural style that was created to guide the design an...
 
Spring data jpa are used to develop spring applications
Spring data jpa are used to develop spring applicationsSpring data jpa are used to develop spring applications
Spring data jpa are used to develop spring applications
 
Python programming language introduction unit
Python programming language introduction unitPython programming language introduction unit
Python programming language introduction unit
 
Typescript language extension of java script
Typescript language extension of java scriptTypescript language extension of java script
Typescript language extension of java script
 
Unit-II AES Algorithm which is used machine learning
Unit-II AES Algorithm which is used machine learningUnit-II AES Algorithm which is used machine learning
Unit-II AES Algorithm which is used machine learning
 
UNIT2_NaiveBayes algorithms used in machine learning
UNIT2_NaiveBayes algorithms used in machine learningUNIT2_NaiveBayes algorithms used in machine learning
UNIT2_NaiveBayes algorithms used in machine learning
 
Spring Data JPA USE FOR CREATING DATA JPA
Spring Data JPA USE FOR CREATING DATA  JPASpring Data JPA USE FOR CREATING DATA  JPA
Spring Data JPA USE FOR CREATING DATA JPA
 
Computer organization algorithms like addition and subtraction and multiplica...
Computer organization algorithms like addition and subtraction and multiplica...Computer organization algorithms like addition and subtraction and multiplica...
Computer organization algorithms like addition and subtraction and multiplica...
 
mean stack
mean stackmean stack
mean stack
 
karnaughmaprev1-130728135103-phpapp01.ppt
karnaughmaprev1-130728135103-phpapp01.pptkarnaughmaprev1-130728135103-phpapp01.ppt
karnaughmaprev1-130728135103-phpapp01.ppt
 
mst_unit1.pptx
mst_unit1.pptxmst_unit1.pptx
mst_unit1.pptx
 

Kürzlich hochgeladen

ONLINE VEHICLE RENTAL SYSTEM PROJECT REPORT.pdf
ONLINE VEHICLE RENTAL SYSTEM PROJECT REPORT.pdfONLINE VEHICLE RENTAL SYSTEM PROJECT REPORT.pdf
ONLINE VEHICLE RENTAL SYSTEM PROJECT REPORT.pdf
Kamal Acharya
 
DR PROF ING GURUDUTT SAHNI WIKIPEDIA.pdf
DR PROF ING GURUDUTT SAHNI WIKIPEDIA.pdfDR PROF ING GURUDUTT SAHNI WIKIPEDIA.pdf
DR PROF ING GURUDUTT SAHNI WIKIPEDIA.pdf
DrGurudutt
 
Activity Planning: Objectives, Project Schedule, Network Planning Model. Time...
Activity Planning: Objectives, Project Schedule, Network Planning Model. Time...Activity Planning: Objectives, Project Schedule, Network Planning Model. Time...
Activity Planning: Objectives, Project Schedule, Network Planning Model. Time...
Lovely Professional University
 

Kürzlich hochgeladen (20)

Research Methodolgy & Intellectual Property Rights Series 1
Research Methodolgy & Intellectual Property Rights Series 1Research Methodolgy & Intellectual Property Rights Series 1
Research Methodolgy & Intellectual Property Rights Series 1
 
Involute of a circle,Square, pentagon,HexagonInvolute_Engineering Drawing.pdf
Involute of a circle,Square, pentagon,HexagonInvolute_Engineering Drawing.pdfInvolute of a circle,Square, pentagon,HexagonInvolute_Engineering Drawing.pdf
Involute of a circle,Square, pentagon,HexagonInvolute_Engineering Drawing.pdf
 
Multivibrator and its types defination and usges.pptx
Multivibrator and its types defination and usges.pptxMultivibrator and its types defination and usges.pptx
Multivibrator and its types defination and usges.pptx
 
ONLINE VEHICLE RENTAL SYSTEM PROJECT REPORT.pdf
ONLINE VEHICLE RENTAL SYSTEM PROJECT REPORT.pdfONLINE VEHICLE RENTAL SYSTEM PROJECT REPORT.pdf
ONLINE VEHICLE RENTAL SYSTEM PROJECT REPORT.pdf
 
Introduction to Artificial Intelligence and History of AI
Introduction to Artificial Intelligence and History of AIIntroduction to Artificial Intelligence and History of AI
Introduction to Artificial Intelligence and History of AI
 
BRAKING SYSTEM IN INDIAN RAILWAY AutoCAD DRAWING
BRAKING SYSTEM IN INDIAN RAILWAY AutoCAD DRAWINGBRAKING SYSTEM IN INDIAN RAILWAY AutoCAD DRAWING
BRAKING SYSTEM IN INDIAN RAILWAY AutoCAD DRAWING
 
SLIDESHARE PPT-DECISION MAKING METHODS.pptx
SLIDESHARE PPT-DECISION MAKING METHODS.pptxSLIDESHARE PPT-DECISION MAKING METHODS.pptx
SLIDESHARE PPT-DECISION MAKING METHODS.pptx
 
RESORT MANAGEMENT AND RESERVATION SYSTEM PROJECT REPORT.pdf
RESORT MANAGEMENT AND RESERVATION SYSTEM PROJECT REPORT.pdfRESORT MANAGEMENT AND RESERVATION SYSTEM PROJECT REPORT.pdf
RESORT MANAGEMENT AND RESERVATION SYSTEM PROJECT REPORT.pdf
 
Research Methodolgy & Intellectual Property Rights Series 2
Research Methodolgy & Intellectual Property Rights Series 2Research Methodolgy & Intellectual Property Rights Series 2
Research Methodolgy & Intellectual Property Rights Series 2
 
Lab Manual Arduino UNO Microcontrollar.docx
Lab Manual Arduino UNO Microcontrollar.docxLab Manual Arduino UNO Microcontrollar.docx
Lab Manual Arduino UNO Microcontrollar.docx
 
Fabrication Of Automatic Star Delta Starter Using Relay And GSM Module By Utk...
Fabrication Of Automatic Star Delta Starter Using Relay And GSM Module By Utk...Fabrication Of Automatic Star Delta Starter Using Relay And GSM Module By Utk...
Fabrication Of Automatic Star Delta Starter Using Relay And GSM Module By Utk...
 
Diploma Engineering Drawing Qp-2024 Ece .pdf
Diploma Engineering Drawing Qp-2024 Ece .pdfDiploma Engineering Drawing Qp-2024 Ece .pdf
Diploma Engineering Drawing Qp-2024 Ece .pdf
 
2024 DevOps Pro Europe - Growing at the edge
2024 DevOps Pro Europe - Growing at the edge2024 DevOps Pro Europe - Growing at the edge
2024 DevOps Pro Europe - Growing at the edge
 
Artificial Intelligence Bayesian Reasoning
Artificial Intelligence Bayesian ReasoningArtificial Intelligence Bayesian Reasoning
Artificial Intelligence Bayesian Reasoning
 
Intelligent Agents, A discovery on How A Rational Agent Acts
Intelligent Agents, A discovery on How A Rational Agent ActsIntelligent Agents, A discovery on How A Rational Agent Acts
Intelligent Agents, A discovery on How A Rational Agent Acts
 
DR PROF ING GURUDUTT SAHNI WIKIPEDIA.pdf
DR PROF ING GURUDUTT SAHNI WIKIPEDIA.pdfDR PROF ING GURUDUTT SAHNI WIKIPEDIA.pdf
DR PROF ING GURUDUTT SAHNI WIKIPEDIA.pdf
 
Software Engineering - Modelling Concepts + Class Modelling + Building the An...
Software Engineering - Modelling Concepts + Class Modelling + Building the An...Software Engineering - Modelling Concepts + Class Modelling + Building the An...
Software Engineering - Modelling Concepts + Class Modelling + Building the An...
 
Filters for Electromagnetic Compatibility Applications
Filters for Electromagnetic Compatibility ApplicationsFilters for Electromagnetic Compatibility Applications
Filters for Electromagnetic Compatibility Applications
 
Activity Planning: Objectives, Project Schedule, Network Planning Model. Time...
Activity Planning: Objectives, Project Schedule, Network Planning Model. Time...Activity Planning: Objectives, Project Schedule, Network Planning Model. Time...
Activity Planning: Objectives, Project Schedule, Network Planning Model. Time...
 
Supermarket billing system project report..pdf
Supermarket billing system project report..pdfSupermarket billing system project report..pdf
Supermarket billing system project report..pdf
 

booleanalgebra-140914001141-phpapp01 (1).ppt

  • 2. 2 Boolean Algebra Summary • We can interpret high or low voltage as representing true or false. • A variable whose value can be either 1 or 0 is called a Boolean variable. • AND, OR, and NOT are the basic Boolean operations. • We can express Boolean functions with either an expression or a truth table. • Every Boolean expression can be converted to a circuit. • Now, we’ll look at how Boolean algebra can help simplify expressions, which in turn will lead to simpler circuits.
  • 3. 3 Boolean Algebra Summary • Recall that the two binary values have different names: – True/False – On/Off – Yes/No – 1/0 • We use 1 and 0 to denote the two values. • The three basic logical operations are: – AND – OR – NOT • AND is denoted by a dot (·). • OR is denoted by a plus (+). • NOT is denoted by an overbar ( ¯ ), a single quote mark (') after, or (~) before the variable
  • 4. 4 Boolean Algebra Summary • Examples: – is read “Y is equal to A AND B.” – is read “z is equal to x OR y.” – is read “X is equal to NOT A.” Tabular listing of the values of a function for all possible combinations of values on its arguments Example: Truth tables for the basic logic operations: 1 1 1 0 0 1 0 1 0 0 0 0 Z = X·Y Y X AND OR X Y Z = X+Y 0 0 0 0 1 1 1 0 1 1 1 1 0 1 1 0 X NOT X Z=
  • 5. Boolean Operator Precedence  The order of evaluation is: 1. Parentheses 2. NOT 3. AND 4. OR  Consequence: Parentheses appear around OR expressions  Example: F = A(B + C)(C + D)
  • 6. 6 / 28 Boolean Algebra Postulates • Commutative Law x • y = y • x x + y = y + x • Identity Element x • 1 = x x + 0 = x x’1 = x’ x’+ 0 = x’ • Complement x • x’ = 0 x + x’ = 1
  • 7. 7 / 28 Boolean Algebra Theorems Theorem 1 – x • x = x x + x = x • Theorem 2 – x • 0 = 0 x + 1 = 1 • Theorem 3: Involution – ( x’ )’ = x ( x ) = x
  • 8. 8 / 28 Boolean Algebra Theorems • Theorem 4: – Associative: ( x • y ) • z = x • ( y • z ) ( x + y ) + z = x + ( y + z ) – Distributive : x • ( y + z ) = ( x • y ) + ( x • z ) x + ( y • z ) = ( x + y ) • ( x + z ) • Theorem 5: DeMorgan – ( x • y )’ = x’ + y’ ( x + y )’ = x’ • y’ – x • y ) = x + y ( x + y ) = x • y • Theorem 6: Absorption – x • ( x + y ) = x x + ( x • y ) = x
  • 9. Truth Table to Verify DeMorgan’s X Y X·Y X+Y X Y X+Y X · Y X·Y X+Y 0 0 0 0 1 1 1 1 1 1 0 1 0 1 1 0 0 0 1 1 1 0 0 1 0 1 0 0 1 1 1 1 1 1 0 0 0 0 0 0 X + Y =X·Y X · Y = X + Y • Generalized DeMorgan’s Theorem: X1 + X2 + … + Xn = X1 · X2 · … · Xn X1 · X2 · … · Xn = X1 + X2 + … + Xn
  • 10. Logic Gates • In the earliest computers, switches were opened and closed by magnetic fields produced by energizing coils in relays. The switches in turn opened and closed the current paths. • Later, vacuum tubes that open and close current paths electronically replaced relays. • Today, transistors are used as electronic switches that open and close current paths.
  • 11. Logic Gate Symbols • Logic gates have special symbols: OR gate X Y Z = X + Y X Y Z = X ·Y AND gate X Z = X NOT gate or inverter
  • 12. 12 Boolean Functions • A Boolean function is a function whose arguments, as well as the function itself, assume values from a two-element set ({0, 1)}). • Example: F(x, y) = x’y’ + xyz + x’y • After finding the circuit inputs and outputs, you can come up with either an expression or a truth table to describe what the circuit does. • You can easily convert between expressions and truth tables. Find the circuit’s inputs and outputs Find a Boolean expression for the circuit Find a truth table for the circuit
  • 13. 13 / 28 Boolean Functions • Boolean Expression/Function Example: F (x, y) = x + y’ z • Truth Table All possible combinations of input variables • Logic Circuit x y z F 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 1 x y z F
  • 14. Logic Diagrams and Expressions • Boolean equations, truth tables and logic diagrams describe the same function! • Truth tables are unique, but expressions and logic diagrams are not. This gives flexibility in implementing functions. X Y F Z Logic Circuit Logic Equation/Boolean Function Z Y X F + = Truth Table 1 1 1 1 1 1 1 0 1 1 0 1 1 1 0 0 0 0 1 1 0 0 1 0 1 0 0 1 0 0 0 0 X Y Z Z Y X F × + =
  • 15. Boolean Functions Exercise • The truth table for the function: F (X, Y, Z ) = X Y + Y Z is: X Y Z X Y Y Y Z F = X Y + Y Z 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 0 0 0 0 0 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 1 0 1 1 1 1 1 0 1 0 0 1 1 1 1 1 0 0 1 Draw the logic circuit for the boolean function above.
  • 16. Converting from Truth Table to Boolean Function • In designing digital circuits, the designer often begins with a truth table describing what the circuit should do. • The design task is largely to determine what type of circuit will perform the function described in the truth table. • While some people seem to have a natural ability to look at a truth table and immediately envision the necessary logic gate or relay logic circuitry for the task, there are procedural techniques available for the rest of us. • Here, Boolean algebra proves its utility in a most dramatic way!
  • 17. Converting from Truth Table to Boolean Function • This problem will be solved by showing that any Boolean function can be represented by a Boolean sum of Boolean products of the variables and their complements or the product of sums. • There are two ways to convert from truth tables to Boolean functions: 1. Using Sum of Products /Minterms 2. Using Product of Sums /Maxterms
  • 18. 18 / 28 Converting from Truth Table to Boolean Function • Minterm – Product (AND function) – Contains all variables – Evaluates to ‘1’ for a specific combination Example A = 0 A B C B = 0 (0) • (0) • (0) C = 0 1 • 1 • 1 = 1 A B C Minterm 0 0 0 0 m0 1 0 0 1 m1 2 0 1 0 m2 3 0 1 1 m3 4 1 0 0 m4 5 1 0 1 m5 6 1 1 0 m6 7 1 1 1 m7 C B A C B A C B A C B A C B A C B A C B A C B A
  • 19. 19 / 28 Converting from Truth Table to Boolean Function • Maxterm – Sum (OR function) – Contains all variables – Evaluates to ‘0’ for a specific combination Example A = 1 A B C B = 1 (1) • (1) • (1) C = 1 0 • 0 • 0 = 0 A B C Maxterm 0 0 0 0 M0 1 0 0 1 M1 2 0 1 0 M2 3 0 1 1 M3 4 1 0 0 M4 5 1 0 1 M5 6 1 1 0 M6 7 1 1 1 M7 C B A + + C B A + + C B A + + C B A + + C B A + + C B A + + C B A + + C B A + +
  • 20. 20 / 28 Converting from Truth Table to Boolean Function • Truth Table to Boolean Function A B C F 0 0 0 0 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 C B A F = C B A + C B A + ABC + Using Minterms
  • 21. 21 / 28 Converting from Truth Table to Boolean Function • Truth Table to Boolean Function A B C F 0 0 0 1 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 0 ) ( C B A F + + = ) ( C B A + + Using Maxterms ) ( C B A + + ) ( C B A + +
  • 22. 22 / 28 Converting from Truth Table to Boolean Function • Sum of Minterms A B C F 0 0 0 0 0 1 0 0 1 1 2 0 1 0 0 3 0 1 1 0 4 1 0 0 1 5 1 0 1 1 6 1 1 0 0 7 1 1 1 1 ABC C B A C B A C B A F + + + = 7 5 4 1 m m m m F + + + =  = ) 7 , 5 , 4 , 1 ( F C AB BC A C B A C B A F + + + = C AB BC A C B A C B A F + + + = C AB BC A C B A C B A F    = ) )( )( )( ( C B A C B A C B A C B A F + + + + + + + + = 6 3 2 0 M M M M F =  = (0,2,3,6) F F 1 0 1 1 0 0 1 0 •Product of Maxterms