Se os símbolos lógicos !$ \sim, \hat \ , ∨, \rightarrow, \ e \ \leftrightarrow !$ 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?