Exercícios de DPLL

Faz o DPLL à mão, da propagação unitária à resposta, e confere cada jogada.