Informatiker Board | Logik | Logik - Wie lineare Klauselmenge bestimmen?

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » Logik - Wie lineare Klauselmenge bestimmen? » Antwort erstellen

» Hallo Gast [Anmelden|Registrieren]

Antwort erstellen

Benutzername:

(du bist nicht eingeloggt!)

Thema:

Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

Die letzten 4 Beiträge
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: Über die Wahreitstabelle wie im Wikipedia-Artikel Ausdistribuieren 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
Informatikus	Wüsste ich auch gerne
Karlito	Wie sind denn lineare Klauselmengen definiert? Gruß, Karlito
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 die Funktion lautet: (siehe Anhang) Meine Ideen: hier kann ich leider gar nichts schreiben Informatikus hat dieses Bild (verkleinerte Version) angehängt: