0:00
Dificultad: ExpertoCategoría: Equivalencia LógicaTipo: Verificación de EquivalenciaConvierte la siguiente expresión a Forma Normal Conjuntiva (CNF):
(A → B) ∧ (C ∨ D)
CNF es una conjunción de cláusulas, donde cada cláusula es una disyunción de literales.