离散数学等价式证明题，，，，求急！！！！！！！！

第8题第一个

 q->p
!(q & !p)
!q | p

p->(q->p)
!p | !q | p
!q

p->q
!p | q

!(p->(p->q))
(!p | !p | q)
!q

左右都是!q