El resolvente del conjunto de cláusulas (A ∨ B, ~A ∨ D, C ∨ ~B) es
(A) A ∨ B
(B) C ∨ D
(C) A ∨ C
(D) A ∨ D
Respuesta: ( B)
Explicación:
prueba de esta pregunta
. Comente a continuación si encuentra algo incorrecto en la publicación anterior.
Publicación traducida automáticamente
Artículo escrito por GeeksforGeeks-1 y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA