คือตอนนี้อ่านหนังสือคณิตศาสตร์อยู่ 3 เล่มบทตรรกศาสตร์ค่ะ ในเรื่องของสมมูลจะมีสมบัติต่างๆ แต่สงสัยในส่วนของสมบัติการเปลี่ยนกลุ่มอะค่ะ คือมีของ ^ (และ) , v (หรือ) แน่ๆทุกตำราเหมือนกัน แต่ในส่วนของ ---> (ถ้า...แล้ว...) กับ<---> (ก็ต่อเมื่อ) นั้นมีหรือปล่าว ในตำราของพี่ณัฐ อุดมพาณิชย์ (หัวใจคณิตศาสตร์ PAT1) บอกว่ามี สมบัติการเปลี่ยนกลุ่มของ <---> (ก็ต่อเมื่อ) แต่จะไม่มีของ ---> (ถ้า...แล้ว...) แต่ในชีทที่หนูเรียนตอนม.4 บอกว่ามีของ ---> (ถ้า...แล้ว...) แต่ไม่มีของ  <---> (ก็ต่อเมื่อ)
**ที่มีทุกตำรา**
1) p^(q^r) สมมูลกับ (p^q)^r
2) pv (qvr) สมมูลกับ (pvq)vr
***ที่สงสัย***
ในหนังสือพี่ณัฐมี
p <---> (q <--->r) สมมูลกับ (p <--->q)<--->r
ในชีทของอ.ที่โรงเรียนตอนม.4 มี
p ---> (q --->r) สมมูลกับ (p --->q)--->r
ซึ่งหนูพยายามหาจากหนังสืออื่นๆและในอินเตอร์เน็ตแล้ว แต่จะเจอแค่ 1) กับ 2) อะค่ะ เลยยังหาคำตอบไม่ได้ว่าที่สงสัยนั้นมีไหม รบกวนผู้รู้ช่วยแนะนำคำตอบด้วยนะคะ ขอบคุณค่ะ