0:00
EspecialistaEquivalência LógicaVerificaçã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.