กำหนดให้ A และ B แทนประพจน์ใด ๆ คำเชื่อมประพจน์ มีดังนี้
1. and(และ) : สัญลักษณ์ทางคณิตศาสตร์คือ “ ^ ” โดยที่ A^B มีค่าเป็นจริงเมื่อทั้ง A และ B มีค่าเป็นจริง ส่วนกรณีอื่นจะมีค่าเป็นเท็จ
2. or(หรือ) : สัญลักษณ์ทางคณิตศาสตร์คือ “ v ” โดยที่ AvB มีค่าเป็นเท็จเมื่อทั้ง A และ B มีค่าเป็นเท็จ ส่วนกรณีอื่นจะมีค่าเป็นจริง
3. if…, then...(ถ้า… แล้ว...) : สัญลักษณ์ทางคณิตศาสตร์คือ “ → ” โดยที่ A → B มีค่าเป็นเท็จเมื่อ A เป็นจริง และ B เป็นเท็จ ส่วนกรณีอื่นจะมีค่าเป็นจริง โดยที่ภาษา Python จะใช้ (~A) v B แทน A → B
4. if…and only if …(…ก็ต่อเมื่อ...) : สัญลักษณ์ทางคณิตศาสตร์คือ “↔” โดยที่ A↔B มีค่าเป็นจริงเมื่อทั้ง A และ B มีค่าความจริงเหมือนกัน ส่วนกรณีอื่นจะมีค่าเป็นเท็จ โดยที่ภาษา Python จะใช้ (A v (~B)) ^ ((~A) v B) แทน A ↔ B
5. not(ไม่) : สัญลักษณ์ทางคณิตศาสตร์คือ “~” โดยที่ ~A มีค่าความจริงตรงข้ามกับ A