เรื่องตรรกศาสตร์ งงมากเรื่องสมมูลกัน

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