Binary Logic, Gates, and Boolean Algebra

Tom Kelliher, CS 240

Feb. 3, 2006

Administrivia

Announcements

Assignment

Read 2.3-4. Written assignment due 9/19.

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 + YZ$ 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 simplification. Use Boolean manipulation to show: $Y +
\overline{X}Z + X\overline{Y} = X + Y + Z$



Thomas P. Kelliher 2006-02-02
Tom Kelliher