Logik - Disjunkte Normalform

Neue Frage »

Autobus Auf diesen Beitrag antworten »
Logik - Disjunkte Normalform
Meine Frage:
Gibt es einen Algorithmus, der eine beliebige Formel in polynomialer Zeit in eine disjunkte Normalform verwandelt?

Meine Ideen:
... irgendwie muss man das induktiv beweisen/widerlegen
kiste Auf diesen Beitrag antworten »

Unter der Annahme NP != P nicht Big Laugh
Neue Frage »
Antworten »



Verwandte Themen

Die Beliebtesten »
Die Größten »
Die Neuesten »