0:00
Dificultad: ExpertoCategoría: Equivalencia LógicaTipo: Verificación de Equivalencia¿Es la siguiente expresión satisfacible?
(A ∨ B) ∧ (¬A ∨ B) ∧ (A ∨ ¬B) ∧ (¬A ∨ ¬B)
¿Es la siguiente expresión satisfacible?
(A ∨ B) ∧ (¬A ∨ B) ∧ (A ∨ ¬B) ∧ (¬A ∨ ¬B)