Blatt 7 - KNF vs KDNF Hallo zusammen, wahrscheinlich ne ganz blöde Frage, aber wo liegt der Unterschied zwischen KNF und KDNF. Im Script wird KDNF als kanonische disjunktive Normalform übersetzt, aber KNF??? Wenn ich gerade dabei bin: OBDD, also BDD kenn ich, das sind Binary Decision Diagrams und für was steht denn jetzt das "O"?? Was hat man unter Variablenordnung zu verstehen? Soll das die Reihenfolge sein, in der die Variablen im BDD abgeprüft werden? Danke schonmal für etwas Hilfe Norbert https://ira.informatik.uni-freiburg.de/phorum/read.php?18,834,834#msg-834 Tue, 17 Dec 2024 10:36:07 +0100 Phorum 5.2.23 https://ira.informatik.uni-freiburg.de/phorum/read.php?18,834,852#msg-852 Re: https://ira.informatik.uni-freiburg.de/phorum/read.php?18,834,852#msg-852
Du meinst wohl Konjunktionen :)]]> rest Technische Informatik WS 2004/05 Mon, 06 Dec 2004 23:07:07 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?18,834,850#msg-850 Re: https://ira.informatik.uni-freiburg.de/phorum/read.php?18,834,850#msg-850 Pablo Technische Informatik WS 2004/05 Mon, 06 Dec 2004 18:13:18 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?18,834,844#msg-844 Re: KNF = Konjunktive Normalform https://ira.informatik.uni-freiburg.de/phorum/read.php?18,834,844#msg-844 Konjunktive Normalform

DNF war:
Disjunktive Normalform

kDNF war die kanonische DNF

ebenso gibts auch kKNF!]]> marc Technische Informatik WS 2004/05 Mon, 06 Dec 2004 09:45:43 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?18,834,839#msg-839 Zu OBDD ist noch anzumerken... https://ira.informatik.uni-freiburg.de/phorum/read.php?18,834,839#msg-839 Stefan Technische Informatik WS 2004/05 Sun, 05 Dec 2004 11:36:16 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?18,834,835#msg-835 Re: https://ira.informatik.uni-freiburg.de/phorum/read.php?18,834,835#msg-835
OBDD = ordered binary decision diagrams; sprich geordnete BDD´s. Heißt also man soll hier ein reduziertes, geordnetes BDD formen.

Die Variablenordnung ergibt sich dann ja eigentlich, denn bei den geordneten BDD´s ist es dann ja so, dass man da ne bestimmte reihenfolge hat.
Also ganz oben stehen die x1, drunter die x2 und dann die x3.

KNF heißt zwar Kanonische NormalForm
was damit aber gemeint ist, weiß ich auch net so wirklich.]]> Dennis Technische Informatik WS 2004/05 Sat, 04 Dec 2004 00:26:53 +0100 https://ira.informatik.uni-freiburg.de/phorum/read.php?18,834,834#msg-834 Blatt 7 - KNF vs KDNF https://ira.informatik.uni-freiburg.de/phorum/read.php?18,834,834#msg-834 wahrscheinlich ne ganz blöde Frage, aber wo liegt der Unterschied zwischen KNF und KDNF. Im Script wird KDNF als kanonische disjunktive Normalform übersetzt, aber KNF???
Wenn ich gerade dabei bin:
OBDD, also BDD kenn ich, das sind Binary Decision Diagrams und für was steht denn jetzt das "O"??
Was hat man unter Variablenordnung zu verstehen? Soll das die Reihenfolge sein, in der die Variablen im BDD abgeprüft werden?

Danke schonmal für etwas Hilfe

Norbert]]> Norbert Technische Informatik WS 2004/05 Fri, 03 Dec 2004 22:54:31 +0100