wenn man die Formel:

(A^-B^C)v(-A^-B^C)v(A^B^-C) doppelt negiert
und dann eine Negaton reinzieht
kommt folgende Formel raus

-((-AvBv-C)^(AvBv-C)^(-Av-BvC))
gefragt war die erste Formel in KNF umzuformen. Wär das jetzt schon alles?

Das untere ist aber noch keine KNF, dazu darf die Negation außen nicht stehen afair

das mit dem doppelt negieren kann in manchen fällen ein ganz gutes hilfmittel sein… zumal man das bei den ü-aufgaben in techn. inf. ja auch ab und zu anwenden musste. zum erhalten der KNF würde ich mich aber an das verfahren im skript halten, das führt immer zum erfolg…

Und das Verfahren wäre? :)

Versuch mal die erste zwei Teilformeln mit Hilfe von Distributivgesetz mit einander zu "schmelzen" dan die dritte mit einer der Teilformeln die aus dem erste zwei entstanden sind.

Ist natürlich recht fies, eine Formel in DNF in KNF umzuwandeln (oder anders herum), denn die wird zunächst durch die Anwendung des Distributivgesetzes recht lang. Schau dir am besten noch einmal die Musterlösung zu F1-Blatt 5 Aufgabe 1.2 an.. in deinem Beispiel ginge das so:

(A^-B^C)v(-A^-B^C)v(A^B^-C)
= [( A v (-A^-B^C)) ^ ( -B v (-A^-B^C)) ^ ( C v (-A^-B^C))] v (A^B^-C)

und immer weiter mit dem Distributivgesetz:

= [( (Av-A) ^ (Av-B) ^ (AvC) ) ……. ]


Oder liege ich da nun komplett falsch? *g*