Class 3 Agenda (Mon Feb 7)

Topics

• Finish basics of propositional logic (Sec 1.1)
  • truth tables of compound propositions (Sec 1.1.4)
  • examples similar to HW1 exercises
• Quick overview of applications of propositional logic (Sec 1.2)
  • focus on “logic circuits” (Sec 1.2.6)
• Start Sec 1.3: Logical Equivalence

To-Do During/After Class

• Continue reading the textbook(s) and slides:
  • Chapter1 (Part 1) Slides   
  • Rosen: Section 1.1-1.3
  • Levin: Section 3.1 (“Propositional Logic”)
• Continue working on HW1!