Preciso comprovar por meio de propriedades que essas equações sao equivalentes, já tentei de tudo

a) (p?~q)?(q?p)?p?~p

b)(~p?q)?(p?(?) q)?(q?p)?(~p?~q)

c)(p?~q)?(~p?~q)?p?~p

d) (p?(?)~q)?p?p?q