Informatiker Board | Logik | 3-Konjunktive Normalform

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » 3-Konjunktive Normalform

» Hallo Gast [Anmelden|Registrieren]

Letzter Beitrag | Erster ungelesener Beitrag

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

3-Konjunktive Normalform

Autor

Beitrag

« Vorheriges Thema | Nächstes Thema »

VooDoo666
Grünschnabel

Dabei seit: 03.11.2014
Beiträge: 3

3-Konjunktive Normalform

Zitatantwort auf diesen Beitrag erstellen

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:

11.11.2014 15:28

Nehmen Sie VooDoo666 in Ihre Freundesliste auf

Karlito Karlito ist männlich

Kaiser

Dabei seit: 11.04.2011
Beiträge: 1.461

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

12.11.2014 08:09

Nehmen Sie Karlito in Ihre Freundesliste auf

Baumstruktur | Brettstruktur

Informatiker Board » Themengebiete » Theoretische Informatik » Logik » 3-Konjunktive Normalform