Disjunktive Normalform bilden |
04.11.2011, 00:52 | Auf diesen Beitrag antworten » |
sujugirl | 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 |
|
|
05.11.2011, 12:27 | Auf diesen Beitrag antworten » |
Karlito | 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 |
|
Verwandte Themen
Die Beliebtesten » |
|
Die Größten » |
|
Die Neuesten » |
|