0:00
Dificuldade: EspecialistaCategoria: Equivalência LógicaTipo: Verificação de EquivalênciaA seguinte expressão é satisfatível (pode ser tornada verdadeira)?
(A ∨ B) ∧ (¬A ∨ C) ∧ (¬B ∨ ¬C)
Determine se existe uma atribuição de valores verdade que torna esta expressão verdadeira.