有關離散數學P->（Q->P）原題是這樣的非P->（P->Q）P->（Q->P）請問是怎麼樣證明的？

p V（p->q）
p V（非p V q）
1
P->（Q->P）
非p V（q->p）
非p V（非q V p）
1
非p->（p->q）p->（q->p）