ตรรกศาสตร์ ถ้า...แล้ว

คือลองหาในเน็ตดูเรื่องตรรกศาสตร์น่ะครับ แต่ไม่ค่อยมีที่ไหนที่ให้ความหมายดีๆได้เลย ส่วนใหญ่ให้ท่องจำอย่างเดียว
คือผมเข้าใจว่า
และ คือ && ในการเขียนโปรแกรม
หรือ คือ ||
ก็ต่อเมื่อ คือ ==
แต่ ถ้า...แล้ว นี่คืออะไรหรอครับถ้าเปรียบเทียบแบบด้านบน
หรือผมไม่ควรเอามาปนกันเพราะมันคนละเรื่อง