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 ;)