Boolean Algebra

Topics

• Propositional logic

  • Well-formed formulae and truth tables
  • Satisfiable, unsatisfiable and valid formulae
  • Equivalence laws and inference rules

• Boolean algebra

  • Postulates and theorems
  • De Morgan’s theorem
  • SOP and POS forms with minterms and maxterms
  • Karnaugh maps up to four variables

Learning objectives

1. Simplify a Boolean expression using algebraic laws or a Karnaugh map.