truth tables boolean expressions and boolean algebra lecture 3 n.
Download
Skip this Video
Loading SlideShow in 5 Seconds..
ECE 331 – Digital System Design PowerPoint Presentation
Download Presentation
ECE 331 – Digital System Design

Loading in 2 Seconds...

play fullscreen
1 / 33

ECE 331 – Digital System Design - PowerPoint PPT Presentation


  • 167 Views
  • Uploaded on

Truth Tables, Boolean Expressions, and Boolean Algebra (Lecture #3). ECE 331 – Digital System Design. The slides included herein were taken from the materials accompanying Fundamentals of Logic Design, 6 th Edition , by Roth and Kinney,

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'ECE 331 – Digital System Design' - spyridon


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
truth tables boolean expressions and boolean algebra lecture 3
Truth Tables,

Boolean Expressions,

and

Boolean Algebra

(Lecture #3)

ECE 331 – Digital System Design

The slides included herein were taken from the materials accompanying

Fundamentals of Logic Design, 6th Edition, by Roth and Kinney,

and were used with permission from Cengage Learning.

logic functions
ECE 331 - Digital System DesignLogic Functions
  • A logic function can be described by a
    • Truth table
    • Boolean expression (i.e. equation)
    • Circuit diagram (aka. Logic Circuit)
  • Each can equally describe the logic function.
truth tables
ECE 331 - Digital System DesignTruth Tables
  • A truth table defines the value of the output of a logic function for each combination of the input variables.
  • Each row in the truth table corresponds to a unique combination of the input variables.
    • For n input variables, there are 2n rows.
  • Each row is assigned a numerical value, with the rows listed in ascending order.
  • The order of the input variables defined in the logic function is important.
4 input truth table
4-input Truth Table

4 variables → 24 = 16 rows

truth tables examples
ECE 331 - Digital System Design

F1 is completely defined by:

F2 is completely defined by:

Are F1 and F2 the same logic functions?

Truth Tables: Examples
slide8
ECE 331 - Digital System Design

Boolean Expressions

(and Logic Circuits)

boolean expressions
ECE 331 - Digital System DesignBoolean Expressions
  • A Boolean expression is composed of
    • Literals – variables and their complements
    • Logical operators
  • Examples
    • F1 = A.B.C + A'.B'.C + A.B'.C' + A'.B.C'
    • F2 = (A'+B+C).(A+B'+C).(A+B+C')
    • F3 = A'.(B+C) +B.(A+C')

Literals highlighted in green

Logical operators highlighted in blue

boolean expressions1
ECE 331 - Digital System DesignBoolean Expressions
  • A Boolean expression is evaluated by
    • Substituting a 0 or 1 for each literal
    • Calculating the logical value of the expression
  • A truth table represents the evaluation of a Boolean expression for all combinations of the input variables.
using a truth table evaluate the following boolean expressions f 1 a b c a b c f 2 a b c a b c
ECE 331 - Digital System Design

Using a truth table, evaluate the following Boolean expressions:

F1(A,B,C) = A'.B.C'

F2(A,B,C) = A + B' + C'

Boolean Expressions: Example #1

Simple AND and OR Functions

An AND function = 1

when all literals = 1.

An OR function = 1

when any literal = 1.

Literal = X or X'

If X' = 1 then X = 0

If X' = 0 then X = 1

An OR function = 0

when all literals = 0.

using a truth table evaluate the following boolean expression f a b c a c b c a b c
ECE 331 - Digital System Design

Using a truth table, evaluate the following Boolean expression:

F(A,B,C) = A'.C + B.C' + A.B'.C'

Boolean Expressions: Example #2

More Complex Functions of ANDs and ORs

An AND term = 1

when all literals = 1.

An OR function = 1

when any term = 1.

using a truth table evaluate the following boolean expression f a b c a b a c a b c
ECE 331 - Digital System Design

Using a truth table, evaluate the following Boolean expression:

F(A,B,C) = (A+B').(A'+C).(A+B'+C')

Boolean Expressions: Example #3

More Complex Functions of ANDs and ORs

An OR term = 1

when any literal = 1.

An AND function = 1

when all terms = 1.

logic circuits

A

B

logical operators

literals

F

Logic Circuits
  • A Boolean expression is realized using a network of logic gates, known as a logic circuit or a circuit diagram, where
    • Each logic gate represents a logical operator
    • Each input to a logic gate represents a literal

Circuit Diagram

combinational logic circuits
ECE 331 - Digital System Design(Combinational) Logic Circuits
  • Composed of an interconnected set of logic gates.
  • Also known as Switching Circuits
  • Logic circuits can be designed from
    • Truth tables
    • Boolean expressions
  • Logic circuits are realized through
    • Interconnection of discrete components
    • Synthesis from a Hardware Description Language
slide19
ECE 331 - Digital System Design

Given the following truth table,

1. Derive a Boolean expression

2. Draw the corresponding circuit diagram

Logic Circuit: Example #1
slide20
ECE 331 - Digital System Design

Given the following truth table,

1. Derive a Boolean expression

2. Draw the corresponding circuit diagram

Logic Circuit: Example #2
equivalency of boolean expressions
ECE 331 - Digital System DesignEquivalency of Boolean Expressions
  • Two Boolean expressions are equivalent iff they have the same value for each combination of the variables in the Boolean expression.
  • How do you prove that two Boolean expressions are equivalent?
    • Truth table
    • Boolean Algebra
equivalence example
ECE 331 - Digital System Design

Using a Truth table, prove that the following two Boolean expressions are equivalent.

F1(A,B) = A'.B + A.B'

F2(A,B) = (A'.B' + A.B)'

Equivalence: Example
boolean algebra
ECE 331 - Digital System DesignBoolean Algebra
  • George Boole developed an algebraic description for processes involving logical thought and reasoning.
    • Became known as Boolean Algebra
  • Claude Shannon later demonstrated that Boolean Algebra could be used to describe switching circuits.
    • Switching circuits are circuits built from devices that switch between two states (e.g. 0 and 1).
    • Switching Algebra is a special case of Boolean Algebra in which all variables take on just two distinct values
  • Boolean Algebra is a powerful tool for analyzing and designing logic circuits.
boolean algebra can be used to manipulate or simplify boolean expressions why is this useful
ECE 331 - Digital System Design

Boolean algebra can be used to manipulate or simplify Boolean expressions.

Why is this useful?

Boolean Algebra
boolean algebra1
Boolean Algebra
  • Manipulating a Boolean expression results in an alternate expression that is functionally equivalent to the original.
  • Simplifying a Boolean expression results in an expression with fewer logic operations and/or fewer literals than the original.
  • The circuit diagram corresponding to the new expression may be
    • Easier to build than the circuit diagram corresponding to the original expression.
    • More cost effective than the circuit diagram corresponding to the original expression.
basic laws and theorems
ECE 331 - Digital System DesignBasic Laws and Theorems

Operations with 0 and 1:

1. X + 0 = X 1D. X • 1 = X

2. X + 1 = 1 2D. X • 0 = 0

Idempotent laws:

3. X + X = X 3D. X • X = X

Involution law:

4. (X')' = X

Laws of complementarity:

5. X + X' = 1 5D. X • X' = 0

basic laws and theorems1
ECE 331 - Digital System DesignBasic Laws and Theorems

Commutative laws:

6. X + Y = Y + X 6D. XY = YX

Associative laws:

7. (X + Y) + Z = X + (Y + Z) 7D. (XY)Z = X(YZ) = XYZ

= X + Y + Z

Distributive laws:

8. X(Y+Z) = XY + XZ 8D. X + YZ = (X + Y)(X + Z)

Simplification theorems:

9. XY + XY' = X 9D. (X + Y)(X + Y') = X

10. X + XY = X 10D. X(X + Y) = X

11. (X + Y')Y = XY 11D. XY' + Y = X + Y

basic laws and theorems2
ECE 331 - Digital System DesignBasic Laws and Theorems

DeMorgan's laws:

12. (X + Y + Z +...)' = X'Y'Z'... 12D. (XYZ...)' = X' + Y' + Z' +...

Duality:

13. (X + Y + Z +...)D= XYZ... 13D. (XYZ...)D = X + Y + Z +...

Theorem for multiplying out and factoring:

14. (X + Y)(X' + Z) = XZ + X'Y 14D. XY + X'Z = (X + Z)(X' + Y)

Consensus theorem:

15. XY + YZ + X'Z = XY + X'Z

15D. (X + Y)(Y + Z)(X' + Z) = (X + Y)(X' + Z)

slide31
ECE 331 - Digital System Design

Manipulate the following Boolean expression using the distributive law:

F = (A+B+C').(A'+B+C)

distributive law (8): X.(Y+Z) = X.Y + X.Z

Distributive Law: Example #1
distributive law example 2
ECE 331 - Digital System Design

Manipulate the following Boolean expression using the distributive law:

F = A.B'.C + A'.B'.C'

distributive law (8D): X + Y.Z = (X+Y).(X+Z)

Distributive Law: Example #2