Konjunktive Normalform < Technische Inform. < Praktische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 12:48 Fr 21.01.2011 | | Autor: | anno |
| Aufgabe | Erzeugen sie die konjunktive Normalform.
http://analyseandbet.de/wertetabelle.png |
Ich soll hier die konjunktive Normalform erzeugen.
Kann ich die 0-Menge direkt oder muss ich immer die 1-Menge eintragen um daraus die 0-Menge ablesen zu können?
Wenn man die 0-menge direkt eintragen kann, wie funktioniert das denn dann?
|
|
| |
|
Hallo anno,
> Erzeugen sie die konjunktive Normalform.
>
> http://analyseandbet.de/wertetabelle.png
> Ich soll hier die konjunktive Normalform erzeugen.
>
> Kann ich die 0-Menge direkt oder muss ich immer die 1-Menge
> eintragen um daraus die 0-Menge ablesen zu können?
Schaue dir [mm]y^{-1}(\{0\})[/mm], also das Urbild der Null an.
Also alle Zeilen, wo die Belegungen der [mm]x_i[/mm] den Funktionswert [mm]y=0[/mm] liefern.
Dann nimm die die Belegung einer solchen Zeile heraus, negiere alle Belegungen und verknüpfe sie mit [mm]\vee[/mm]
Die Klauseln, die du so aus den verschiedenen Zeilen gewinnst, verknüpfe mit [mm]\wedge[/mm]
Etwa in Zeile 3, dort hast du für die Belegungen [mm]x_4=0, x_3=0, x_2=1, x_1=0[/mm] als Funktionswert [mm]y=0[/mm]
Negiere die Belegungen und veknüpfe sie mit oder:
Das gibt als 1. Klausel
[mm](x_4\vee x_3\vee \overline{x}_2\vee x_1)[/mm]
Dann suche dir die nächste Zeile, in der sich der Funktionswert [mm]y=0[/mm] ergibt, negiere und verknüpfe die Belegungen analog und du hast di nächste Klausel
Die Klauseln ver"unde"
Also [mm](x_4\vee x_3\vee \overline{x}_2\vee x_1) \ \wedge \ (\text{nächste Klausel}) ...[/mm]
Aber wieso gibt's in den Zeilen 5 und 11 keine Funktionswerte??
>
> Wenn man die 0-menge direkt eintragen kann, wie
> funktioniert das denn dann?
Was genau meinst du mit "0-Menge direkt eintragen"?
Was wo eintragen?
>
>
Gruß
schachuzipus
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 13:07 Fr 21.01.2011 | | Autor: | anno |
Die Striche sind Don't-Care Bits.
hatte ich vergessen zu erwähnen.
Man soll es noch in ein Karnaugh-Veitch-Diagramm eintragen, mit folgender Belegung.
http://analyseandbet.de/kv.png
|
|
|
|
