Se A e B são proposições simples verdadeiras e C é uma proposição simples falsa, então o valor lógico de (¬A ^ B) ⇔ (¬C v ¬A) é: