การทำความเข้าใจการแยกส่วน: ตรรกะหรือความสัมพันธ์

Disjunction คือตัวดำเนินการเชิงตรรกะที่แสดงถึงความสัมพันธ์ OR (หรืออย่างใดอย่างหนึ่งหรือ) ระหว่างสองคำสั่ง เขียนแทนด้วยสัญลักษณ์ ∨.

ตัวอย่างเช่น ข้อความ "ฝนตกหรือท้องฟ้าแจ่มใส" สามารถเขียนได้โดยใช้คำแยกเป็น:

Raining ∨ Sky is clear

ซึ่งหมายความว่า อย่างน้อยหนึ่งในสองข้อความดังกล่าวจะต้องเป็นจริง หากฝนตก ข้อความแรกจะเป็นจริง และถ้าท้องฟ้าแจ่มใส ข้อความที่สองก็เป็นจริง การแยกจากกันเป็นแนวคิดพื้นฐานในตรรกะและมีการใช้อย่างแพร่หลายในหลายสาขา รวมถึงวิทยาการคอมพิวเตอร์ คณิตศาสตร์ และปรัชญา มักใช้เพื่อแสดงความเป็นไปได้หรือผลลัพธ์ทางเลือก และเพื่อเหตุผลเกี่ยวกับความถูกต้องของข้อความตามความสัมพันธ์เชิงตรรกะ