Bom galera, esse trabalho de logica de progamação vale 10 pontos(como prova final) por favor respondam algumas pra mim, eu agradecerei bastante :/ <3

1) Verifique a validade das fórmulas abaixo e se possível analiseas utilizando método da tabela verdade e o método da arvore semântica.

a) TRUE∧FALSE→¬A

b) ¬¬¬¬¬(A∧B∨A)

c) (P→B)↔A∨¬b

d) ¬(P∧Q)¬(Q∨P)∧¬P

e) (A∧B)→(B↔A)→¬A

f) ¬(¬(¬(¬(R∧Z)→¬R)∧¬¬¬Z)AR∨Z)↔TRUE

g) ((¬(¬P))↔((¬((¬((P∨Q)))→R)))∧P))→FALSE

h) ((A∧B)→(B∨A))↔((B∨A)→(A∧B))

i) S∧A∨S→¬A¬S→¬A∨¬S↔(A∨S)

j) (¬¬¬¬¬A→¬¬¬¬¬TRUE)↔((A∧B∨TRUE)→(A∨B)