La forma clausal de la forma normal disyuntiva ¬A ∨ ¬B ∨ ¬C ∨ D es:
(A) A ∧ B ∧ C ⇒ D
(B) A ∨ B ∨ C ∨ D ⇒ verdadero
(C) A ∧ B ∧ C ∧ D ⇒ verdadero
(D) A ∧ B ∧ C ∧ D ⇒ falso
Respuesta: (A)
Explicación: Sabemos que P ⇒ Q = ¬P ∨ Q
Del mismo modo A ∧ B ∧ C ⇒ D
= ¬(A ∧ B ∧ C ) v D
= ¬A ∨ ¬B ∨ ¬C ∨ D.
Entonces, la opción (A) es correcta.
Cuestionario de esta pregunta
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