Lecture 8: Propositional Calculus

Background Material

• Induction - again.
  

Reading

• Chapter 12 of the text.
• Chapter 13 (sec.
  

Topics

• Boolean Functions and Expressions
• Equivalence of Boolean Functions and Expressions (Sums of Products)
  
• Boolean Algebra (Rules and Simplification)
• Automated Proofs using Truth Tables
• Logic Minimization and Karnaugh Maps
• Logic Circuits
  

Lecture Notes

• lec8.ppt - to be posted.

Programs

• Truth Table Prover (ttprover) - main.cpp, expr.h, expr.cpp, tt.h, tt.cpp

Resources

• None posted

Assignments

• Assignment 6 - due by the beginning of class on Mon. Dec. 7 by 6 PM.