Informatiker Board | Theoretische Informatik | KNF bilden mit einer Wahrheitstafel

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

» Hallo Gast [Anmelden|Registrieren]

Antwort erstellen

Benutzername:

(du bist nicht eingeloggt!)

Thema:

Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

Smilies: 21 von 33

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

Die letzten 10 Beiträge

Karlito

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

Analin42

Achso dann ist es wohl keine gute Idee eine Formel zu nehmen in der man zeigen muss dass sie tautologisch ist mit resolution xD

Wie bist du auf diese Formel gekommen? verwirrt

Karlito

Hallo,

normalerweise macht das wie in Wikipedia beschrieben (Link in meiner ersten Antwort). Da du hier aber eine Tautologie hast, geht das nicht.

Du kannst aber auch soetwas wie $[latex] A \vee \neg A \vee B \vee \neg B \vee D \vee \neg D [/latex]$ angeben. Das ist auch in KNF und ist auch eine Tautologie.

VG,

Karlito

Analin42

ok danke noch mal ^^

ich weiß nicht wie ich das verwechseln konnte geschockt

hier habe ich noch mal die Tabelle ausgefüllt

wie mache ich daraus jetzt die KNF? verwirrt

Analin42 hat dieses Bild (verkleinerte Version) angehängt:

eulerscheZahl

0 ist falsch und 1 ist wahr.

Analin42

Sagt mal heißt 0 wahr und 1 falsch? Oder verwechsel ich das?

Aber ja das ist echt schlecht das ich das verwechselt habe xD
Omg das ist mir nicht aufgefallen großes Grinsen

Lol ich glaube ich habe die Zahlen verwechselt :'D

eulerscheZahl

In der 4. Spalte hast du D falsch übertragen.

Ansonsten hast du und mit oder verwechselt:
$[latex] \begin{array}{c|c|c|c}A & B & A \wedge B \text{ =und} & A \vee B\text{ =oder} \hline 0 & 0 & 0 & 0 \hline 0 & 1 & 0 & 1 \hline 1 & 0 & 0 & 1 \hline 1 & 1 & 1 & 1 \end{array} [/latex]$

Analin42

Mir ist am Anfang der Aufgabe ein Fehler unterlaufen und deshalb habe ich die Wahrheitstafel noch mal verändert und noch mal ausgefüllt.

Die Fehler die ihr erwähntet könnten also noch drin sein smile

Ich habe die Tabelle noch ein bisschen erweitert und ich habe somit meine Schritte noch mal nachvollziehen können, dabei ist mir aber nichts aufgefallen. verwirrt

Analin42 hat dieses Bild (verkleinerte Version) angehängt:

eulerscheZahl

Nein, er meint Spalte:
1. Spalte: A
...
4. Spalte: $[latex]\neg A \wedge \neg B \wedge \neg D[/latex]$
5. Spalte: $[latex]\neg A \wedge \neg D[/latex]$

Du hast Spalten jeweils oder-verknüpft, obwohl ein und dasteht.
Das oder kommt nur in der Spalte ganz rechts vor: es setzt sich aus den Spalten 4-7 zusammen.

Analin42

Meinst du die 5, 6 und 7 Zeile? Weil mit Spalte weiß ich nicht was du meinst Daumen hoch

Es sind weitere Beiträge zu diesem Thema vorhanden. Klicken Sie hier, um sich alle Beiträge anzusehen.