Considere o seguinte problema: dada uma fórmula CNF e uma atribuição que satisfaça essa fórmula, existe outra atribuição satisfatória para essa fórmula? Qual é a complexidade desse problema? (Certamente está em NP, mas também é difícil em NP?) E se você não receber a tarefa e apenas quiser...