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