DNF zu KNF Nötig für Klauselform?

Aventuri schrieb:

> ich weiß, morgen ist Weinachten ^^ aber das lässt mich momentna nicht
> los.

Weihnachten ist übermorgen.

@FALK

Danke für die rasche Antwort.

Eine Klauselform lässt sich nicht aus einer Formel in DNF bilden?

DNF ist disjunktive Normalenform

KNF ist konjunktive Normalenform

Schreib die Wahrheitstaballe mit der DNF auf.

Dann muss man die Product of Sums erstellen.

Das heisst man muss die Literale, wo z=0 ist, betrachten. Diese muss man 
für jede Zeile invertiert ODER-Verknüpfen und jede dieser Summen aus 
jeder Zeile UND-Verknüpfen.

Wundere mich aber, dass Du bei der sehr abstrakten Klauselform 
angekommen bist, ohne die einfachen und grundlegenden Dinge verstanden 
zu haben.

Auf Anhieb fallen mir folgende Dinge zu dem Post ein:

- DeMorgan
- blöd rumrechnen
- Um Himmels Willen keine Wahrheitstabellen, ab 4 Literalen erkennt man 
daraus nicht wirklich viel
- OBDDs
- KV-Diagramme, gibt dir sogar die minimale KNF bzw. DNF
- Tseitin Transformation
- charakteristische Funktion aufstellen, um dann wieder blöd 
rumzurechnen

Hallo, vielen Dank schonmal.

hab mir das Grundwissen jetzt nochmal angeeignet. Komme aber bei einem 
Punkt nicht weiter.

Angenommen in meinem KNF kommt u.a folgende Disjunktion  (~B v B). Wenn 
ich die die KNF Formel in Klauselform bringen muss, lasse ich diese 
Disjunktion dann weg ? Weil {~B , B} als Klauselform würde ja nicht viel 
Sinn machen oder?

Danke !