นิเสธฟอออล สมมูล ฟอสัม ถูก ไหมครับ

สวัสดีค่ะ รบกวนพี่ๆดูโจทย์ข้อนี้ให้หนูหน่อยค่ะ คือหนูคิดแล้วข้อก.หนูไม่ได้คำตอบ แต่ข้อข.หนูตอบว่าถูก แต่พอมาดูเฉลยหนูก็งงมากเลยค่ะ เท่าที่หนูคิดนะคะคือ ข้อก. (p -> q) -> (q -> p) เป็นสัจนิรัน

ทำไมจาก pและq สมมูลกับ qและp ~(pหรือq) สมมูลกับ ~pและ~q pก็ต่อเมื่อq สมมูลกับ (pถ้าแล้วq)และ(qถ้าแล้วp) งงว่าทำไมต้องย้ายจากหรือไปเป็นและ จากไม่มีนิเสธไปเป็นมีนิเสธ งงมากๆๆ

~p➡️(q➡️(r หรือ p)กับ(p และ ~q) หรือ r สมมูลกันไมคะ

ตรวจสอบสัจนิรัน ของ <->(p->r) โดยผมใช้วิธีตรวจสอบการสมมูล เลยจะตรวจสอบฝั่งซ้ายแล้วฝั่งซ้าย ผมใช้หลักที่แบบ เหตุ 1.p->q 2.q->r ผล p->r ได้มั้ยอะครับ มันดูเป็บแบบเหตุข้อ1.และ2 😐

เพื่อนๆพี่ๆช่วยหน่อยน่ะค่ะช่วยแต่งประโจทย์สมมูลกับนิเสธหน่อยค่ะ ให้1ข้อมีทั้งสมมูลกับนิเสธค่ะ