knf von -f gleich -(knf von f)?

Question

wenn ich die KNF von F erstellt habe und dann die KNF von -F erstellen soll ,kann ich dann einfach die KNF von F negieren und erhalte somit die KNF von -F?

Answer 1

Hat sich schon erledigt , würde ich die KNF negieren würde ich daraus ja eine DNF machen ,war eine blöde Frage ,sorry! :P