Nächste Seite:
Aussagenlogik: Syntax
Aufwärts:
Constraint-Programmierung Vorlesung Sommersemester 2009
Vorherige Seite:
Projektthemen
Erfüllbarkeit aussagenlogischer Formeln (SAT)
Unterabschnitte
Aussagenlogik: Syntax
Aussagenlogik: Semantik
Normalformen (DNF, CNF)
Erfüllbarkeits-Äquivalenz
Tseitin-Transformation
Tseitin-Transpormation (Übung)
2009-06-22
