0:00
Dificuldade: EspecialistaCategoria: Equivalência LógicaTipo: Verificação de Equivalência

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