Section 1.4

Materials

• Handout
• Lecture Slides

Vocabulary

• tautology
• contradiction
• logically equivalent

Key Ideas

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