KNF umformen

Neue Frage »

Biffi Auf diesen Beitrag antworten »
KNF umformen
Meine Frage:
Hallo,

ich habe folgende Gleichung:

(x1+x2)*(x1+x3)

und möchte die Konjunktive Normalform haben.

Meine Ideen:
Ich erweiter die Gleichung um die fehlenden X:

(x1+x2+[x3*¬x3])*(x1+[x2*¬x2]+x3)

Aber wie forme ich jetzt diesen Term um, damit ich wirklich die Konjunktive Normalform habe?
Mystic Auf diesen Beitrag antworten »
RE: KNF umformen
Ich würde an deiner Stelle zuerst ausmultiplizieren (beachte, dass x1*(x1+x3)=x1 !) und dann erst "ergänzen", beispielsweise x1 zu x1*(x2+x2')*(x3+x3')...

Edit: Logische Junktoren, wie ¬, würde ich nicht mit arithmetischen "mischen", hab daher den Apostroph ' oben dafür verwendet...
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »