Seu próximo nível começa aqui
Seu desenvolvimento não pode ter limites. Garanta sua Assinatura Ilimitada e libere uma preparação completa com os melhores professores do Brasil.
Um conjunto de cláusulas S é uma representação clausal para...
Um conjunto de cláusulas S é uma representação clausal para uma fórmula P se e somente se?
A
P é satisfazível se e somente se S é não satisfazível
B
P não é satisfazível se e somente se S é satisfazível
C
P é satisfazível se e somente se S é satisfazível
D
Nenhuma das anteriores