Motivation: aussagenlog. Formeln

Literatur: D. E. Knuth: TAOCP (4A1) 7.1.4;
Kroening, Strichman: Decision Procedures, 2.4.


naive Ansätze (Ü: bestimme o.g. Eigenschaften):



2014-07-06