F1 Blatt 9 Aufgabe 2
2003-12-17 17:12
nitro-kuh
Ist das richtig wenn ich verschiedene Ableitungen aus einer Formelmenge zusammen mit "und" verknüpfe. Ist diese KNF auch eine ableitung aus der Formelmenge??– und kann ich auch die einzelne Formeln aus der Menge als klauseln betrachten?.
mfg
nitro-kuh
(Edit Tri: F1 ranschreiben nicht vergessen ;)
mfg
nitro-kuh
(Edit Tri: F1 ranschreiben nicht vergessen ;)