Acho que ajuda lembrar do exercício 2 da lista 3, que nos diz que se P=NP, então podemos achar uma atribuição que satisfaz a fórmula, caso exista.
Fórum