Considerando que os símbolos lógicos ~, ^, v e ? representam negação, conjunção,...

Questão de Matemática da banca COPEVE UFAL aplicada no concurso Prefeitura de Feira Grande AL (2014). Confira a resolução completa abaixo:

Considerando que os símbolos lógicos ~, ^, v e ? representam negação, conjunção, disjunção e implicação, respectivamente, a fórmula ((A ? B) ^ A) ? B é