รบกวนพี่ๆดูโจทย์คณิตศาสตร์ข้อนี้ให้หน่อยค่ะหนูคิดแล้วไม่รู้ว่าถูกหรือเปล่า

สวัสดีค่ะ รบกวนพี่ๆดูโจทย์ข้อนี้ให้หนูหน่อยค่ะ
คือหนูคิดแล้วข้อก.หนูไม่ได้คำตอบ แต่ข้อข.หนูตอบว่าถูก
แต่พอมาดูเฉลยหนูก็งงมากเลยค่ะ เท่าที่หนูคิดนะคะคือ
ข้อก. (p -> q) -> (q -> p) เป็นสัจนิรันดร์ แต่เค้าไม่ได้กำหนดอะไรมาให้เลย
ข้อข. p -> ~q สมมูลกับ ~p v ~q ซึ่งหลักของ ตัว -> ก็คือ p -> q สมมูลกับ ~p v q
เพราะฉนั้นข้อนี้ตัว ~q ต้องอยู่เฉยๆ แล้วเติม ~ หน้าตัว p เปลี่ยน ->เป็น v
มันก็ถูกไม่ใช่หรอคะ หรือหนูคิดผิดรบกวนพี่ๆด้วยนะคะ
http://www.mx7.com/view2/zqvWjeVMnDp5StS2
http://www.mx7.com/view2/zqw0bexulVpqa8WM
http://www.mx7.com/view2/zqvYtWQW8mtDsi2z