Informatiker Board | Logik | 3-Konjunktive Normalform

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » 3-Konjunktive Normalform » 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

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 2 Beiträge
Karlito	Hi, naiv würde ich probieren Nachzuweisen, dass es für eine Klausel mit 4 verschiedenen Variablen keine äquivalente 3KNF gibt. Leider gehen meine Ideen momentan nicht darüber hinaus. Ist ein wenig her, dass ich mich ernsthaft mit soetwas auseinander setzen musste... Gruß, Karlito
VooDoo666	3-Konjunktive Normalform Die Aufgabe im Anhang bekomme ich nicht geloest. Eine Formel ist in 3-KNF, wenn sie in KNF ist und jede KLausel hoechstens 3 Literale enthaelt. Koennte mir jemand einen Richtungswink geben, wie man auf eine solche Formel kommen kann? Danke im voraus! VooDoo666 hat dieses Bild (verkleinerte Version) angehängt: