การเลือกเชิงตรรกศาสตร์ (logical disjunction) หรือที่มักเรียกว่า หรือ (or) คือตัวดำเนินการทางตรรกศาสตร์ที่ให้ผลลัพธ์เป็นจริง ถ้าตัวถูกดำเนินการบางตัว (หรือทั้งสองตัว) มีค่าเป็นจริง

นิยาม

---

ในตรรกศาสตร์และคณิตศาสตร์, ประำพจน์เลือก คือประโยคที่เชื่อมด้วย "หรือ" ยกตัวอย่างเช่น "มานะเล่นฟุตบอล หรือ มานีทำการบ้าน" เป็นประพจน์เลือก

สังเกตว่าในชีวิตประจำวัน เมื่อเราใช้คำว่า "หรือ" เราอาจหมายความว่าอย่างใดอย่างหนึ่ง แต่ไม่ใช่ทั้งสองอย่าง (เช่น "คุณต้องการกาแฟหรือชา?") ในตรรกศาสตร์ ความหมายดังกล่าวถูกแทนด้วยการเลือกเฉพาะ หรือ "ออร์เฉพาะ" สำหรับกรณีของ "หรือ" นั้น เมื่อใช้อย่างเป็นทางการจะอนุญาตให้ทั้งสองส่วนของประโยคเป็นจริงได้ หลายครั้ง "หรือ" จึงมักถูกเรียกว่า "การเลือกรวม"

หมายเหตุ: ในการนิยาม "x + y" นั้นบูลได้ใช้เงื่อนไขเบื้องต้นในลักษณะเดียวกับคณิตศาสตร์ทั่วไป นั่นคือให้ x และ y นั้นไม่เกิดร่วมกัน อย่างไรก็ตาม ด้วยเหตุผลหลายๆ ประการ เจวอนส์และนักตรรกศาสตร์เกือบทุกคนในภายหลังได้เปลี่ยนให้นิยามของ "การบวกเชิงตรรกศาสตร์" อยู่ในรูปที่สองส่วนของประโยคเกิดพร้อมกันได้

สำหรับกรณีที่มีตัวแปรป้อนเข้าสองจำนวน A และ B, ตารางค่าความจริงของ "หรือ" เป็นดังนี้:

$A$	$B$	$A\; \backslash lor\; B$
F	F	F
F	T	T
T	F	T
T	T	T

ในรูปทั่วไปแล้วประพจน์เลือกคือสูตรทางตรรกศาสตร์ที่สามารถมีสัญพจน์หนึ่งหรือหลายสัญพจน์ที่คั่นด้วย "หรือ" สัญพจน์เดี่ยวมักถือว่าเป็นประพจน์เลือกลดรูป

สัญลักษณ์

---

The statement "P or Q" is often written as

P $\backslash lor$ Q

Such a disjunction is false if both P and Q are false. In all other cases it is true.

All the following are disjunctions:

A $\backslash lor$ B
¬A $\backslash lor$ B
A $\backslash lor$ ¬B $\backslash lor$ ¬C $\backslash lor$ D $\backslash lor$ ¬E

The equivalent notion in set theory is the set theoretic union.

คุณสมบัติการจัดหมู่และการสลับที่

---

For more than two inputs, or can be applied to the first two inputs, and then the result can be or'ed with each subsequent input:

(A or B or C or D) ⇔ (((A or B) or C) or D)

Because or is associative, the order of the inputs does not matter: the same result will be obtained regardless of association.

The operator xor is also commutative and therefore the order of the operands is not important:

A or B ⇔ B or A

การดำเนินการเชิงบิต

---

การเลือกมักถูกใช้การดำเนินการเชิงบิต เช่น

• 0 or 0 = 0
• 0 or 1 = 1
• 1 or 0 = 1
• 1 or 1 = 1
• 1010 or 1110 = 1110

เนื้อหาเพิ่มเติม

---

• พีชคณิตแบบบูล
• การเชื่อมเชิงตรรกศาสตร์
• ตัวบ่งปริมาณสำหรับตัวมีจริง
• xor
• nor
• ประตูสัญญาณ

ตรรกศาสตร์

Дизюнкция | Disjunktion | Logical disjunction | Disyunción lógica | Disjunktsioon | Disjonction logique | או (לוגיקה) | Logika disjungsi | 論理和 | Logische disjunctie | Inklusiv disjunksjon | Alternatywa | Disjunção lógica | Disjunkcia (logika) | Logisk disjunktion | Диз'юнкція (логічна)