Sabemos que o problema de contar o número de atribuições satisfatórias em uma determinada fórmula booleana geral (CNF-SAT), em uma fórmula DNF ou em uma fórmula 2SAT é um problema # P-complete .
Agora, considere um CNF-SAT sem literal negativo (sem negativo , sempre ). O problema de decisão é muito fácil (defina todas as variáveis como VERDADEIRO e verifique se a tarefa está satisfazendo a fórmula), mas e quanto a contar o número de tarefas satisfatórias? Isso tem um algoritmo de tempo polinomial? Ou é um problema # P-completo.
fonte