Section 1.4 and 1.5

Materials

• Handout
• Lecture Slides

Vocabulary

• tautology
• contradiction
• logically equivalent

Key Ideas

• Laws of Propositional Logic
  • Idempotent laws
  • Associative laws
  • Commutative laws
  • Distributive laws
  • Identity laws
  • Double negation law
  • Complement laws
  • De Morgan's laws
  • Absorption laws
  • Conditoinal identitites