Questão sem resolução FME 1 - Gelson Iezzi

Verifique, por meio das tabelas-verdades, a validade das equivalências abaixo.

a) da conjunção                                            c) da conjunção relativamente
                                                                     à disjunção
p ^ q <--> q ^ p                                             
(p ^ q) ^ r <--> p ^ (q ^ r)                            p ^ (q v r) <--> (p ^ q) v (p ^ r)                                                      p ^ p <--> p                                                p v (q ^ r) <--> (p v q) ^ (p v r) 
p ^ v <--> p                                                 p ^ (p v q) <--> p
p ^ f <--> f                                                  p v (p ^ q) <--> p


b) da disjunção
                                                                 d) da negação
p v q <--> q v p                       
(p v q) v r <--> p v (q v r)                             ~(~p) <--> p
p v p <--> p                                                ~(p ^ q) <--> ~p v ~q
p v v <--> v                                                ~(p v q) <--> ~p ^ ~q
p v f <--> p


em que p, q, r são proposições quaisquer, v é uma tautologia e f uma proposição logicamente falsa.


OBS.:No FME não há o gabarito dessa questão.

A questão já foi postada no site porém não entendi a resolução e, por conta disso, trago-a novamente buscando esclarecer minhas dúvidas !