3-Konjunktive Normalform |
11.11.2014, 15:28 | Auf diesen Beitrag antworten » |
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! |
|
|
12.11.2014, 08:09 | Auf diesen Beitrag antworten » |
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 |
|