Erstellen der KDNF

[Cmos (Gast)]

Hallo,
Wenn ich nun eine Funktion habe:

f =( x_2* Nicht x_3 + x_1) * (x_1 + nicht x_3 + x_2 * x_3)
Und möchte die in der KDNF schreiben. Muss ich es vorher alles 
ausmultiplizieren?

[Christoph db1uq K. (christoph_kessler)]

ich denke schon (nur sind das keine Multiplikationen sondern 
UND-Verknüpfungen)

http://de.wikipedia.org/wiki/Disjunktive_Normalform

disjunktiven Normalform:
Der logische Ausdruck besteht in der obersten Ebene ausschließlich aus 
ODER-Verknüpfungen.

Eine kanonische disjunktive Normalform (KDNF)
ist eine DNF, die nur Minterme enthält, in denen alle Variablen 
vorhanden sind, jede Variable genau einmal vorkommt und deren Minterme 
alle von einander verschieden sind. Jede Boolesche Funktion besitzt 
genau eine KDNF.

[Stefan H. (Firma: dm2sh) (stefan_helmert)]

Hallo,

du könntest auch versuchen die de Morgansche Regel anzuwenden und 
hinterher ergänzen, dass es Minterme werden.