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.