0:00
ExpertoEquivalencia LógicaVerificación de Equivalencia
¿Es la siguiente expresión satisfacible (puede hacerse verdadero)?
(A ∨ B) ∧ (¬A ∨ C) ∧ (¬B ∨ ¬C)
Determina si existe una asignación de valores de verdad que haga esta expresión verdadero.
¿Es la siguiente expresión satisfacible (puede hacerse verdadero)?
(A ∨ B) ∧ (¬A ∨ C) ∧ (¬B ∨ ¬C)
Determina si existe una asignación de valores de verdad que haga esta expresión verdadero.