Binary Logic, Gates, and Boolean Algebra

Tom Kelliher, CS 240

Jan. 27, 2012

Administrivia

Announcements

Assignment

Read 2.3-4.

From Last Time

Introduction

Outline

  1. Binary logic and gates.

  2. Boolean Algebra.

Coming Up

Standard forms, maps, and minimization.

Binary Logic and Gates

  1. Fundamental operators and their symbols:
    1. AND

    2. OR

    3. NOT

  2. NAND is complete.

  3. Gate fan-in and fan-out. Electrical significance.

  4. Timing diagram.
    1. Frequency and period.

    2. Timing diagrams. Show AND, OR, NOT waveforms for input: A: 0011, B: 0101.

    3. What do the waveforms really look like: propagation delay, noise, under- and over-shoot.

Boolean Algebra

  1. Boolean functions can be represented by equations, truth tables, or logic circuits.

    How do you convert from one form to another?

    How many rows in the truth table of an $n$-input Boolean function?

  2. Why would we want to simplify a Boolean equation?

  3. Basic Identities:
    1. $X + 0 = X$ 2. $X \cdot 1 = X$
    3. $X + 1 = 1$ 4. $X \cdot 0 = 0$
    5. $X + X = X$ 6. $X \cdot X = X$
    7. $X + \overline{X} = 1$ 8. $X \cdot \overline{X} = 0$
    9. $\overline{\overline{X}} = X$  
    10. $X + Y = Y + X$ 11. $XY = YX$
    12. $X + (Y + Z) = (X + Y) + Z$ 13. $X(YZ) = (XY)Z$
    14. $X(Y + Z) = XY + XZ$ 15. $X + YZ = (X + Y)(X + Z)$
    16. $\overline{X + Y} = \overline{X} \cdot \overline{Y}$ 17. $\overline{X \cdot Y} = \overline{X} + \overline{Y}$

Exercises

Example simplifications. Use both a truth table and Boolean manipulation to show:



Thomas P. Kelliher 2012-01-25
Tom Kelliher