Informatiker Board | Druckvorschau: KNF bilden mit einer Wahrheitstafel

Geschrieben von Karlito am 12.03.2013 um 19:24:

Hallo.

Zitat:

Original von Analin42
Wie bist du auf diese Formel gekommen? verwirrt

Durch scharfes hinsehen Augenzwinkern

Es geht auch noch einfacher...

$[latex]X \vee \neg X[/latex]$ ist eine Tautologie. Ich habe einfach diese einfach für jede Variable benutzt und mit Oder verknüpft, da dies am intuitivsten ist. Ich denke $[latex]A \vee \neg A[/latex]$ dürfte sogar bereits reichen, da dies immer wahr ist, unabhängig von allen anderen Eingaben.

Edit: Weiterhin ist eine KNF ja eine Konjunktion von Klauseln, wobei eine Klausel eine Menge von durch Disjunktion verbundenen Literalen ist. Dies ist hier erfüllt, da es eben nur eine Klausel in der Konjunktion gibt und damit kein Und auftaucht.

VG,

Karlito