Ek değişkenler getirmek istiyorsanız , Tseitin dönüşümünü kullanarak DNF'den CNF formuna polinom zamanda dönüştürebilirsiniz . Ortaya çıkan CNF formülü, orijinal DNF formülü ile dengelenebilir olacaktır: CNF formülü, yalnızca orijinal DNF formülü tatmin edilebilirse ve tatmin edici olacaktır. Ayrıca bkz . Https://en.wikipedia.org/wiki/Conjunctive_normal_form#Conversion_into_CNF .
Ek değişkenlerin eklenmesine izin vermek istemiyorsanız, DNF'den CNF formuna dönüştürmek co-NP-zordur. Özellikle, bir DNF formülünün bir totoloji olup olmadığını test etmek ko-NP-zordur. Bununla birlikte, bir CNF formülünün bir totoloji olup olmadığını test etmek polinom zamanında yapılabilir (her bir cümlenin bir totoloji olup olmadığını ayrı ayrı kontrol edersiniz, çünkü her bir cümle değişmezdir. Bu nedenle, DNF formundan CNF formuna polinom zamanda yeni değişkenler girmeden dönüştürebiliyorsanız, bir DNF formülünün bir totoloji olup olmadığını test etmek için bir polinom zamanı algoritması elde edersiniz - beklenmedik bir şey. P, ko-NP'ye eşit değildir. Veya başka bir deyişle, ek değişkenler eklemeden DNF'den CNF formuna dönüştürmek ko-NP-zordur.
Bu denklik ile eşitlik arasındaki farktır . Eşdeğerlik, iki formülün aynı çözüm setine sahip olmasını gerektirir (ve bu nedenle ek değişkenlerin girilmesine izin vermez). Eşitlenebilirlik sadece her iki formülün de tatmin edilebilir olmasını veya her ikisinin de tatmin edilemez olmasını gerektirir (ve bu nedenle ek değişkenlerin kullanılmasına izin verir).