0:00
ExpertoEquivalencia LógicaVerificación de Equivalencia

Convierte 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.