Logik - Wie lineare Klauselmenge bestimmen? |
Informatikus
Grünschnabel
Dabei seit: 26.08.2014
Beiträge: 3
|
|
|
26.08.2014 14:14 |
|
|
Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
Wie sind denn lineare Klauselmengen definiert?
Gruß,
Karlito
|
|
26.08.2014 17:00 |
|
|
Informatikus
Grünschnabel
Dabei seit: 26.08.2014
Beiträge: 3
|
|
Wüsste ich auch gerne
|
|
27.08.2014 09:24 |
|
|
Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
Hallo Informatikus,
ich denke hier ist einfach gemeint, dass man die Formel in konjunktive Normalform umwandeln soll. Die KNF ist eine Konjunktion von Klauseln. Oft wird dann die KNF als eine Menge von Klauseln angegeben.
Für das Erstellen der KNF fallen mir zwei Methoden ein:
Beim Ausdistribuieren nutzen wir aus, dass die logischen Operationen distributiv sind:
In Mengendarstellung wird dies so repräsentiert:
Ich hofffe meine Interpretation ist richtig ung ich konnte helfen.
Gruß,
Karlito
|
|
27.08.2014 13:15 |
|
|
|