0:00
Dificuldade: EspecialistaCategoria: Equivalência LógicaTipo: Verificação de EquivalênciaA seguinte expressão é satisfatível?
(A ∨ B) ∧ (¬A ∨ B) ∧ (A ∨ ¬B) ∧ (¬A ∨ ¬B)
A seguinte expressão é satisfatível?
(A ∨ B) ∧ (¬A ∨ B) ∧ (A ∨ ¬B) ∧ (¬A ∨ ¬B)