O resolvente do conjunto de cláusulas (A ∨ B, ~ A ∨ D, C ∨ ~ B) é
(A) A ∨ B
(B) C ∨ D
(C) A ∨ C
(D) A ∨ D

Resposta: ( B)
Explicação:
Teste desta questão
Por favor, comente abaixo se você encontrar algo errado na postagem acima