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?
Ein anderes Problem?
Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos