Logik - Wie lineare Klauselmenge bestimmen?

Neue Frage »

Auf diesen Beitrag antworten »
Informatikus Logik - Wie lineare Klauselmenge bestimmen?

Meine Frage:
Hallo,

Ich habe eine Aufgabe zu lösen, in der ich eine "lineare Klauselmenge" einer Funktion berechnen soll.
Ich weiß nicht was das ist und wie man das macht.
Vllt könnt ihr mir ja helfen smile

die Funktion lautet: (siehe Anhang)


Meine Ideen:
hier kann ich leider gar nichts schreiben großes Grinsen
 
Auf diesen Beitrag antworten »
Karlito

Wie sind denn lineare Klauselmengen definiert?

Gruß,

Karlito
Auf diesen Beitrag antworten »
Informatikus

Wüsste ich auch gerne unglücklich
Auf diesen Beitrag antworten »
Karlito

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:
[latex]<br />
q_1 \wedge q_2 \vee r_1 \wedge r_2  & \equiv & (q_1 \wedge q_2) \vee (r_1 \wedge r_2) <br />
  & \stackrel{Dist.}{\equiv} & (q_1 \vee (r_1 \wedge r_2 ) ) \wedge (q_2  \vee (r_1 \wedge r_2) ) <br />
  & \stackrel{Dist.}{\equiv} & ( (q_1 \vee r_1) \wedge (q_1 \vee r_2 ) ) \wedge ((q_2  \vee r_1) \wedge (q_2  \vee r_2) ) <br />
& \equiv & (q_1 \vee r_1) \wedge (q_1 \vee r_2 ) \wedge (q_2  \vee r_1) \wedge (q_2  \vee r_2)<br />
[/latex]

In Mengendarstellung wird dies so repräsentiert:
[latex] \mathcal{K} = \{\{q_1, r_1\}, \{ q_1, r_2 \}, \{ q_2  , r_1 \}, \{ q_2 , r_2 \}\}  [/latex]

Ich hofffe meine Interpretation ist richtig ung ich konnte helfen.

Gruß,

Karlito
 
 
Neue Frage »
Antworten »


Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »