---

Geschrieben von sujugirl am 04.11.2011 um 00:52:

  Disjunktive Normalform bilden

Hallo liebes Forum!
Ich soll eine Disjunktive Normalform bilden, ich weiß ja wie der Algorithmus abläuft aber irgendwie kommt bei mir die DNF nicht raus oder es sieht etwas komisch aus.Ich hoffe ihr könnt mir helfen.

Man soll diese Formel in DNF bringen:
((A->(B und C)) und (Aund(notB oder notC))) oder not((A->B)oder (notB und C) oder (A und notC))

Hier ist mein Ansatz

Auflösung der Implikationen und hineinziehen der Negation und ggf Distributivgesetz angewandt:

=((notA oder(B und C)) und (A und(notB oder notC))) oder not((notA oder B) v(notB und C) oder(A und notC))
=((notA oder (B und C)) und(A und(notB oder notC))) oder (not(notA oder B) und not(notB und C) und not(A und notC))
=((notA oder (B und C)) und ((A und notB) oder(A und notC))) oder((A und notB) und (B oder notC) und (notA und C))

Irgendwie sieht die letzte Zeile gar nicht nach einer DNF auf.
Ich hoffe ihr könnt mir hier weiterhelfen
Dankeschön

---

Geschrieben von Karlito am 05.11.2011 um 12:27:

  RE: Disjunktive Normalform bilden

Hallöchen,

die letzte Zeile ist leider auch noch nicht in DNF.

...))) oder((A und notB) und (B oder notC) und (notA und C)) musst du weiter aussdistribuieren, bis DNF erreicht ist...

VG,

Karlito