Umwandlung von KNF in DNF < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Gegeben sei die Formel
G= (A->B)^((CvD)->B):
Geben Sie eine zu G aquivalente Formel G' in konjektiver Normalform und eine zu G aquivalente Formel G' in disjunktiver Normalform an. |
Bis zur KNF komme ich sehr schnell, durch einfaches umformen und ersetzen,
komme dann auf
[mm] G=(\neg [/mm] A [mm] \vee [/mm] B) [mm] \wedge ((\neg [/mm] C [mm] \wedge \neg [/mm] D) [mm] \vee [/mm] B)
jedoch weiß ich nicht wie ich jetzt auf die disjunktive Normalform komme.
Mit freundlichen Grüßen
Hinkepeet
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.
|
|
| |
|
Hiho,
> [mm]G=(\neg[/mm] A [mm]\vee[/mm] B) [mm]\wedge ((\neg[/mm] C [mm]\wedge \neg[/mm] D) [mm]\vee[/mm] B)
![[notok]](/images/smileys/notok.gif "[notok]")
Das ist keine KNF.
Aber fangen wir von vorne an: Nutze doch bitte den Formeleditor um Formeln darzustellen.
So will das doch niemand lesen....
Du hast also:
[mm] $(A\rightarrow B)\wedge ((C\vee D)\rightarrow [/mm] B)$
Und jetzt Form das erstmal um, wie du vorgeschlagen hast.
Gruß,
Gono.
|
|
|
|
