Konjunktive Normalform bilden < Mengenlehre < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 18:34 So 14.11.2010 | | Autor: | durden88 |
| Aufgabe | Sei [mm] \partial [/mm] die Formel (( [mm] A_0 \to A_1)\wedge(A_1 \to A_2))
[/mm]
Finden Sie eine Formel in konjunktiver Normalform (KNF), die logisch aquivalent
zu [mm] \partial [/mm] ist |
Also es gilt:
[mm] (\neg A_0) \vee (A_1) [/mm] ist die DNF von( [mm] A_0 \to A_1)
[/mm]
Also ist [mm] \partial= ((\neg A_0) \vee (A_1)\wedge(\neg A_1 \vee A_2))
[/mm]
Ist das nicht schon meine konjunktive Normalform?
|
|
| |
|
Hallo durden88,
> Sei [mm]\partial [/mm] die Formel (( [mm]A_0 \to A_1)\wedge(A_1 \to A_2))[/mm]
>
> Finden Sie eine Formel in konjunktiver Normalform (KNF),
> die logisch aquivalent
> zu [mm] \partial[/mm] ist
> Also es gilt:
>
> [mm](\neg A_0) \vee (A_1)[/mm] ist die DNF von( [mm]A_0 \to A_1)[/mm]
>
> Also ist [mm]\partial= ((\neg A_0) \vee (A_1)\wedge(\neg A_1 \vee A_2))[/mm] ![[ok]](/images/smileys/ok.gif "[ok]")
>
> Ist das nicht schon meine konjunktive Normalform?
Jo, aber schon die reduzierte KNF, die "normale" KNF ist etwas länger und ergibt sich aus der WWT des gegebenen Ausdrucks.
Vereinfachen lässt sie sich aber in "deine" verkürzte Version 
Gruß
schachuzipus
|
|
|
|
