Karlito
Kaiser
Dabei seit: 11.04.2011
Beiträge: 1.461
|
|
Hallo.
Zitat: |
Original von Analin42
Wie bist du auf diese Formel gekommen?
|
Durch scharfes hinsehen
Es geht auch noch einfacher...
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 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
|
|