Topics

• Sec 1.3: Propositional Equivalences
  • definitions of tautology, contradiction, logical equivalence
  • important logical equivalences (Tables 1-8): De Morgan’s Laws, distributive/associative/commutative laws, implication
  • satisfiability (considered as an algorithmic question)

To-Do After Class

• Continue reading the textbook(s) and slides:
  • Chapter1 (Part 1) Slides   (slides 42-50, 56)
  • Rosen: Section 1.3
  • Levin: Section 3.1 (“Propositional Logic”)
• Finish HW1 (updated with Sec 1.3 exercises)
  • due Monday (Feb 14) – hand in written solutions
  • see Files (“Rosen exercises” folder) for pdf extracts with textbook exercises