• Part 1: Propositional logic

• 1.7 Algorithms for OBDDs
  • reduce
  • Boolean operations
  • Applications

• 1.8 Propositional formulae, normal forms
  • Conjunctions/Disjunctions; Literals; Clauses
  • DNF/CNF
  • Conversion to CNF/DNF
  • Satisfiability-preserving translations to CNF and further optimizations
  
  Imprint | Data Protection