Informatiker Board | Theoretische Informatik | KNF bilden mit einer Wahrheitstafel

Informatiker Board » Themengebiete » Theoretische Informatik » KNF bilden mit einer Wahrheitstafel

» Hallo Gast [Anmelden|Registrieren]

Letzter Beitrag | Erster ungelesener Beitrag

Druckvorschau | An Freund senden | Thema zu Favoriten hinzufügen

Seiten (2): « vorherige 1 [2]

KNF bilden mit einer Wahrheitstafel

Autor

Beitrag

« Vorheriges Thema | Nächstes Thema »

Karlito Karlito ist männlich

Kaiser

Dabei seit: 11.04.2011
Beiträge: 1.461

Zitatantwort auf diesen Beitrag erstellen

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

12.03.2013 19:24

Nehmen Sie Karlito in Ihre Freundesliste auf

Seiten (2): « vorherige 1 [2]

Baumstruktur | Brettstruktur

Informatiker Board » Themengebiete » Theoretische Informatik » KNF bilden mit einer Wahrheitstafel