• Part 1: Propositional logic
  • 1.2 Semantics

  • 1.3 Models, validity, satisfiability
    • unsatisfiability tests
    • equivalence tests

  • 1.4 Boolean functions and formulae

  • 1.5 Binary decision trees
    • Decision trees vs. truth tables
    • Minimal graph representation

  • 1.6 BDDs

Imprint | Data Protection