Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
-- Technische Informatik (http://www.informatikerboard.de/board/board.php?boardid=7)
--- Unwandlung DNF -> KNF, funktioniert selbiges mit DMF -> KMF? (http://www.informatikerboard.de/board/thread.php?threadid=1131)


Geschrieben von Justus am 14.01.2012 um 11:05:

  Unwandlung DNF -> KNF, funktioniert selbiges mit DMF -> KMF?

Meine Frage:
Hallo,

ich sitze hier gerade vor einer Aufgabe und komme nicht sorecht weiter. Es geht um folgendes:

Durch zweimalige Negation einer disjunktiven Normalform erhält man ja die konjunktive Normalform, genauso anders herum.
Funktioniert das selbe auch mit der DMF bzw. KMF? (Minimalform, die man erhält wenn man die Terme mit einem KV-Diagramm optimiert.)

Meine Ideen:
Ich habe folgenden Term
y = x1*x2*x3 + !x1*x2*x3 + !x1*x2*!x3 + x2*x3

In ein KV-Diagramm eingetragen ergibt sich dann die optimierte Form y = !x1*x2 + x2*x3 .
Das ist ja jetzt allerdings die DMF, könnte ich nun ebenfalls zur KMF kommen indem ich den Term einfach 2 mal negiere? Wie oben erwähnt?

lg


Forensoftware: Burning Board, entwickelt von WoltLab GmbH