Informatiker Board | Technische Informatik | Disjunktive und Konjunktive Normalform

Informatiker Board » Themengebiete » Technische Informatik » Disjunktive und Konjunktive Normalform » 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

[quote][i]Original von Tobias[/i]
Das Vorgehen ist immer gleich. Zuerst interessieren uns die einschlägigen Indizes der Booleschen Funktion. Das sind diejenigen [latex](x_1, x_2, x_3)[/latex] mit [latex]f(x_1, x_2, x_3) = 1[/latex].

Ein Beispiel für einen einschlägigen Index ist [latex](0, 1, 1)[/latex], denn [latex](011)_2 = 3[/latex] teilt 3.

Zu jedem einschlägigen Index [latex](x_1, x_2, x_3)[/latex] von f bilden wir für die DNF einen Minterm wie folgt:

[latex]y_1 \wedge y_2 \wedge y_3[/latex] mit [latex]y_i = x_i[/latex] falls [latex]x_i = 1[/latex] und [latex]y_i = \neg x_i[/latex] falls [latex]x_i = 0[/latex].

Die Disjunktion aller Minterme zu den einschlägigen Indizes bildet dann die DNF.

Die KNF ist die Konjunktion aller Maxterme. Ein Maxterm betrachtet nun jedoch die nicht-einschlägigen Indizes. Ist [latex]f(x_1, x_2, x_3) = 0[/latex], dann sieht der Maxterm so aus:

[latex]y_1 \vee y_2 \vee y_3[/latex] mit [latex]y_i = x_i[/latex] falls [latex]x_i = 0[/latex] und [latex]y_i = \neg x_i[/latex] falls [latex]x_i = 1[/latex].[/quote]

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 2 Beiträge
Tobias	Das Vorgehen ist immer gleich. Zuerst interessieren uns die einschlägigen Indizes der Booleschen Funktion. Das sind diejenigen mit . Ein Beispiel für einen einschlägigen Index ist , denn teilt 3. Zu jedem einschlägigen Index von f bilden wir für die DNF einen Minterm wie folgt: $[latex]y_1 \wedge y_2 \wedge y_3[/latex]$ mit falls und $[latex]y_i = \neg x_i[/latex]$ falls . Die Disjunktion aller Minterme zu den einschlägigen Indizes bildet dann die DNF. Die KNF ist die Konjunktion aller Maxterme. Ein Maxterm betrachtet nun jedoch die nicht-einschlägigen Indizes. Ist , dann sieht der Maxterm so aus: $[latex]y_1 \vee y_2 \vee y_3[/latex]$ mit falls und $[latex]y_i = \neg x_i[/latex]$ falls .
NightmareVirus	Disjunktive und Konjunktive Normalform Hallo ich verstehe das Thema Disjunktive und Konjunktive Normalform überhaupt nicht! Auch die Definitionen und Beispiele bei wikipedia bleiben mir ein Rätsel! Konkret geht es um folgende Aufgabe einer Trainingsklausur: Wenn mir jetzt jmd nur die Lösung sagt bringt mir das rein gar nichts... Sondern den Lösungsweg würde ich gerne verstehen. Ich hoffe ihr könnt das möglichst einfach erklären worauf man da achten muss! Danke schonmal