Nächste Seite:
Software zur SAT-Kodierung
Aufwärts:
Erfüllbarkeit aussagenlogischer Formeln (SAT)
Vorherige Seite:
Tseitin-Transformation
Tseitin-Transpormation (Übung)
Übungen:
transformiere
(
x
1
x
2
)
(
x
3
x
4
)
Halb-Adder, Voll-Adder
2009-06-22
x2) (x3 x4)