โจทย์นี้ค่ะ พอดีหาได้แล้วแต่ไม่มีเฉลย เลยไม่ทราบว่าทำถูกไหมน่ะค่ะ
p→(p→(∼q→∼p)) ≡  p→(p→(p→q))
                              ≡ p→((p^p)→q)
                              ≡ p→(p→q)
                              ≡ (p^p)→q
                              ≡ p→q

ได้ไหมคะ เราใช้สูตร p→(q→r) ≡ (p^q)→r  กับ p^p ≡ p กับ (∼q→∼p) ≡ p→q
ว่าแต่สูตรประพจน์นี้  p→(q→r) ≡ (p^q)→r ใช้ได้จริง ใช่ไหมคะ อ้างอิงจากไซต์นี้ https://sites.google.com/site/khruchesth/praphcn-thi-smmul-kan 
หรือมีวิธีอื่นมาบอกกันได้นะคะ พอดีไม่ได้ทวนเลย ผ่านมานานเป็นปีกว่าพึ่งได้ทวนค่ะTT หลงๆ ลืมๆ

แก้ไข ; ลืมช้อย แหะๆ >> ก. p→q     ข. p↔q     ค. p∨q     ง. q→p