Considere A, B e C proposições simples que possuem, respectivamente e na ordem, o valor-lógico verdadeiro, verdadeiro e falso. Em relação à composição dos conetivos: negação (~), conjunção (∧), disjunção (∨) e condicional ( →), avalie o valor-lógico das fórmulas:

(   ) (A →~B)
(   ) ((A ∨ B) →~C)
(   ) (~( A ∨ B) → (~A ∧~B))
(   ) ((~A → B) ∧ (~B → A))

A ordem correta de preenchimento dos parênteses com o valor-lógico associado a cada fórmula, de cima para baixo, é: