Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- 3-Konjunktive Normalform (http://www.informatikerboard.de/board/thread.php?threadid=1958)
Geschrieben von VooDoo666 am 11.11.2014 um 15:28:
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!
Geschrieben von Karlito am 12.11.2014 um 08:09:
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
Forensoftware: Burning Board, entwickelt von WoltLab GmbH