FB18 - Das Forum für Informatik

fb18.de / Bachelorstudieng / PM Formale Informatik

KNF und DNF

KNF und DNF 2007-05-10 17:56
Anonymer User
Hallo

im skript steht, dass zu jeder formel mind eine KNF und mind ein DNF gibt.

heißt das, dass ich zu jeder formel eine KNF und DNF erstellen kann?
Oder kann eine formel NUR DNF bilden?

wenn in meiner wahrheitstafel nur 1 steht, wie mache ich daraus eine KNF?

RE: KNF und DNF 2007-05-10 18:30
Hannes
wozu brauchst du zu einer tautologie eine knf?

und ja, es gibt zu jeder formel mindestens eine knf UND mindestens eine dnf.

RE: KNF und DNF 2007-05-10 18:41
Anonymer User
wenn in meiner wahrheitstafel nur 1 steht, wie mache ich daraus eine KNF?

Der Wahrheitswert ist für die Umformung in KNF oder DNF nicht relevant.

Mittels anwendung der Regeln (Distributivgesetz, DeMorgan etc…) die wir aus der Vorlesung kennen, solltest du bei jeder Formel zu einer KNF kommen, egal welchen Wahrheitswertverlauf sie besitzt.

RE: KNF und DNF 2007-05-11 05:18
georg
wenn in meiner wahrheitstafel nur 1 steht, wie mache ich daraus eine KNF?

Dann nimmst du einfach A v -A. Analoges machst du, wenn du eine DNF
bilden willst, die nur Nullen enthält: A ^ -A.