• Part 1: Propositional logic
  • 1.6 BDDs
    • Ordered BDDs

    • Reduced OBDDs
      • Importance of reduced OBDDs
        • absence of redundant variables
        • equivalence tests
        • validity and satisfiability tests
        • entailment tests

  • 1.7 Algorithms for OBDDs (reduce, Boolean operations)
  
  Imprint | Data Protection