Se os símbolos lógicos ~, ^, v, → e ↔ representam negação, conjunção, disjunção, implicação e bi-implicação, respectivamente, e os valores lógicos das proposições atômicas A, B, C e D são, respectivamente, Falso, Falso, Verdadeiro e Falso, qual das fórmulas tem valor lógico verdadeiro?