ตัวเชื่อมหลัก 5 ชนิด
NOT
นิเสธ · ¬p
กลับค่าความจริงของประพจน์
AND
และ · p ∧ q
จริงเมื่อทั้งสองประพจน์จริง
OR
หรือ · p ∨ q
เท็จเมื่อทั้งสองประพจน์เท็จ
IF–THEN
เงื่อนไข · p → q
เท็จเมื่อ p จริง แต่ q เท็จ
IFF
สมมูล · p ↔ q
จริงเมื่อทั้งสองมีค่าความจริงเหมือนกัน
เลือกตัวเชื่อมเพื่ออ่านคำอธิบายและดูตารางค่าความจริงแยกเป็นรายหน้า