ประพจน์ทางเลือก (Disjunction Statement)
ถ้า p และ q เป็นประพจน์ใดๆ ประพจน์ทางเลือกของ p และ q แทนด้วย p v q จะเป็นจริงก็ต่อเมื่อมีอย่างน้อยหนึ่งประพจน์เป็นจริง จะเป็นเท็จเมื่อทุกประพจน์เป็นเท็จ
p |
q |
P v q |
T |
T |
T |
T |
F |
T |
F |
T |
T |
F |
F |
F |
ตารางค่าความจริงของประพจน์ทางเลือก “Logical or” หรือ “Inclusive or”
คำว่า “หรือ” (or) ที่เราใช้กันอยู่ในชีวิตประจำวันนั้น มีความหมายต่างกันสองความหมายดังนี้ คือ
ความหมายที่หนึ่ง “p หรือ (or) q” มีความหมายว่า p หรือ q หรือ ทั้ง p และ q ก็ได้ซึ่งสอดคล้องกับตารางค่าคว่าจริงของ “หรือ (or)” ในตาราง “Logical or” หรือ “Inclusive or”
ความหมายที่สอง “p หรือ (or) q” มีความหมายว่า p หรือ q อย่างใดอย่างหนึ่งเพียงอย่างเดียว ไม่ใช้ทั้งสองอย่าง นั่นก็คือ “p หรือ q” และ “ไม่ใช้ p และ q” แทนด้วยสัญลักษณ์ (p v q) ^ ~ (p ^ q) เรียกว่า “Exclusive Or”
ตัวอย่าง คืนนี้ฉันจะไปดูหนัง หรือ พรุ่งนี้จะไปงานเต้นรำ
ให้ p แทน ประพจน์ คืนนี้ฉันจะไปดูหนัง
ให้ q แทน ประพจน์ พรุ่งนี้จะไปงานเต้นรำ
แล้ว p v q จะแทนประพจน์ คืนนี้ฉันจะไปดูหนัง หรือ พรุ่งนี้จะไปงานเต้นรำ
ตารางค่าความจริงของประพจน์ทางเลือกอย่างใดอย่างหนึ่ง (Exclusive Or)
p |
q |
(p v q) |
(p ^ q) |
~ (p ^ q) |
(p v q) ^ ~ (p ^ q) |
T |
T |
T |
T |
F |
F |
T |
F |
T |
F |
T |
T |
F |
T |
T |
F |
T |
T |
F |
F |
F |
F |
T |
F |
Home กลับก่อนหน้านี้ หน้าถัดไป