Se A ∨ ¬B é falsa e B ∧ C é falsa com B verdadeiro, quais são os valores de A, C e de C → B?

A é falso, C é falso, C → B é verdadeiro.

Explicação:
Se A ∨ ¬B é falsa, ambos os termos são falsos, então A é falso e ¬B é falso, logo B é verdadeiro.
Como B ∧ C é falsa e sabemos que B é verdadeiro, o outro membro C precisa ser falso.
Um condicional C → B com antecedente falso e consequente verdadeiro tem valor lógico verdadeiro, pois só é falso quando o antecedente é verdadeiro e o consequente é falso.

exemplo:
Se "Alarme tocou" ∨ ¬"Porta trancada" é falso, então o alarme não tocou e a porta está trancada.
Se "Porta trancada" ∧ "Luz acesa" é falso e a porta está trancada, então a luz não está acesa.
Logo, a implicação "Luz acesa" → "Porta trancada" tem antecedente falso e consequente verdadeiro, portanto é verdadeira.