Forum "Aussagenlogik" - Normalformen aus Wertetabelle - Vorhilfe.de

Vorhilfe Kostenlose Kommunikationsplattform für gegenseitige Hilfestellungen.
	Hallo Gast! [ einloggen \| registrieren ]
	Startseite · Forum · Wissen · Kurse · Mitglieder · Team · Impressum

Forenbaum

Gezeigt werden alle Foren bis zur Tiefe 2

Navigation

Startseite...
Neuerdings beta neu
Forum...
vorwissen...
vorkurse...
Werkzeuge...
Nachhilfevermittlung beta...
Online-Spiele beta
Suchen
Verein...
Impressum

Das Projekt

Server und Internetanbindung werden durch Spenden finanziert.

Organisiert wird das Projekt von unserem Koordinatorenteam.

Hunderte Mitglieder helfen ehrenamtlich in unseren moderierten Foren.

Anbieter der Seite ist der gemeinnützige Verein "Vorhilfe.de e.V.".

Partnerseiten

Weitere Fächer:

Vorhilfe.de

FunkyPlot: Kostenloser und quelloffener Funktionenplotter für Linux und andere Betriebssysteme

Forum "Aussagenlogik" - Normalformen aus Wertetabelle

Normalformen aus Wertetabelle < Aussagenlogik < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe

Ansicht:

[ geschachtelt ]

Forum "Aussagenlogik" |

Alle Foren |

Forenbaum | Materialien

Normalformen aus Wertetabelle: DNF, KNF aus Wertetabelle

Status:	(Frage) beantwortet
Datum:	15:00 Di 17.04.2007
Autor:	RalU

Aufgabe

 [Dateianhang nicht öffentlich]

Meine Lösung:
für a):

DNF: [mm] f(a,b,c)=(\neg [/mm] x [mm] \wedge \neg [/mm] y [mm] \wedge \neg [/mm] z) [mm] \vee (\neg [/mm] x [mm] \wedge \neg [/mm] y [mm] \wedge [/mm] z) [mm] \vee (\neg [/mm] x [mm] \wedge [/mm] y [mm] \wedge [/mm] z) [mm] \vee [/mm] (x [mm] \wedge [/mm] y [mm] \wedge [/mm] z)

für b);
KNF: [mm] f(a,b,c)=(\neg [/mm] x [mm] \vee [/mm] y [mm] \vee \neg [/mm] z) [mm] \wedge [/mm] (c [mm] \vee \neg [/mm] y [mm] \vee \neg [/mm] z) [mm] \wedge [/mm] (x [mm] \vee \neg [/mm] y [mm] \vee [/mm] z) [mm] \wedge [/mm] (x [mm] \vee [/mm] y [mm] \vee \neg [/mm] z)

Ist das alles so korrekt?

Dateianhänge:
Anhang Nr. 1 (Typ: JPG) [nicht öffentlich]

Bezug

Normalformen aus Wertetabelle: Antwort

Status:	(Antwort) fertig
Datum:	15:23 Di 17.04.2007
Autor:	Herby

Hallo RalU,

> [Dateianhang nicht öffentlich]
>
>
> Meine Lösung:
>  für a):
>
> DNF: [mm]f(a,b,c)=(\neg[/mm] x [mm]\wedge \neg[/mm] y [mm]\wedge \neg[/mm] z) [mm]\vee (\neg[/mm]
> x [mm]\wedge \neg[/mm] y [mm]\wedge[/mm] z) [mm]\vee (\neg[/mm] x [mm]\wedge[/mm] y [mm]\wedge[/mm] z)
> [mm]\vee[/mm] (x [mm]\wedge[/mm] y [mm]\wedge[/mm] z)

a) ist richtig

> für b);
> KNF: [mm]f(a,b,c)=(\neg[/mm] x [mm]\vee[/mm] y [mm]\vee \neg[/mm] z) [mm]\wedge[/mm] (c [mm]\vee \neg[/mm]
> y [mm]\vee \neg[/mm] z) [mm]\wedge[/mm] (x [mm]\vee \neg[/mm] y [mm]\vee[/mm] z) [mm]\wedge[/mm] (x [mm]\vee[/mm]
> y [mm]\vee \neg[/mm] z)
>
> Ist das alles so korrekt?

nein, hier nicht - du musst die 0er beschreiben, d.h z.B.: [mm] (x\vee\neg y\vee z)\wedge... [/mm]

Liebe Grüße
Herby

ps: wenn du ein Bild einfügen willst, dann keine Leerzeichen zwischen die eckigen Klammern schreiben :-)

Bezug

Normalformen aus Wertetabelle: Frage (beantwortet)

Status:	(Frage) beantwortet
Datum:	16:01 Di 17.04.2007
Autor:	RalU

Aufgabe

 mit der KNF hab ich noch nicht ganz kapiert.

Also, es ist schon klar, dass ich in der Wertetabelle mir die Zeilen raussuch, die im Ergebnis, also in der Spalte ganz rechts eine "0" stehen haben.
Jetz knüpfe ich also genau diese Zeilen mit einem [mm] \wedge [/mm] jeweils zusammen und negiere sie, oder?

So, dass ich dann da stehen habe:
KNF: f(x,y,z)=(x [mm] \vee \neg [/mm] y [mm] \vee [/mm] z) [mm] \wedge (\neg [/mm] x [mm] \vee [/mm] y [mm] \vee [/mm] z) [mm] \wedge (\neg [/mm] x [mm] \vee [/mm] y [mm] \vee \neg [/mm] z) [mm] \wedge (\neg [/mm] x [mm] \vee \neg [/mm] y [mm] \vee [/mm] z)

So korrekt?

Bezug

Normalformen aus Wertetabelle: jop..

Status:	(Antwort) fertig
Datum:	16:04 Di 17.04.2007
Autor:	Herby

Hallo,

nun stimmt's

lg
Herby

Bezug

Ansicht:

[ geschachtelt ]

Forum "Aussagenlogik" |

Alle Foren |

Forenbaum | Materialien