Belirli bir genel boole formülünde (CNF-SAT), belirli bir DNF formülünde veya hatta belirli bir 2SAT formülünde tatmin edici atama sayısını saymanın problemini # P-tamamlama problemidir.
Şimdi, negatif değişmez değeri olmayan bir CNF-SAT düşünün ( , her zaman ). Karar problemi çok kolaydır (tüm değişkenleri TRUE olarak ayarlayın ve atamanın formülü yerine getirip getirmediğini kontrol edin), ancak tatmin edici atamaların sayısını saymaya ne dersiniz? Bunun polinom zaman algoritması var mı? Ya da bu # P-tamamlama problemidir.