ในการเชื่อมประพจน์นั้นบางครั้งจะต้องใช้ตัวเชื่อมหลายตัวมาเชื่อมประพจน์ ซึ่งอาจทำให้เกิดปัญหาในการหาค่าความจริงว่าควรที่จะเริ่มต้นที่ตัวใดก่อน ดังนั้นจึงจำเป็นต้องมีการลำดับสัญลักษณ์ที่ "คลุมความ" มากที่สุดและรองลงมาตามลำดับ ตารางความจริง คือ ตารางที่สร้างขึ้นเพื่อใช้หาค่าความจริงของประพจน์
จากตารางเรียงลำดับคลุมความจากมากไปน้อย โดยสัญลักษณ์ที่คลุมความน้อยกว่าต้องเริ่มจัดการทำก่อนสัญลักษณ์ที่คลุมความมากกว่า ส่วนกรณี^และvเป็นสัญลักษณ์ที่คลุมความเท่ากัน ดังนั้นจึงต้องใช้วงเล็บกำกับ เพื่อชี้ให้เห็นว่าจะต้องเริ่มทำที่ตัวเชื่อมใดก็ได้
 จงหาตารางความจริงของประพจน์ pvq→p^~q วิธีทำ 1. เขียนค่าของ p, q ก่อน 2. หาค่า ~q ก่อน 3. หาค่า pvq และ p^~q 4. หาค่า pvq→p^~q ในกรณีที่ทราบค่าแน่นอนของตัวแปร (หรือประพจน์ย่อย) เราสามารถหาค่าความจริงของประพจน์รวมได้ทันทีโดยเขียนตารางเพียงแถวเดียว จงหาค่าความจริงของ (p→q)v(r^s) เมื่อให้ p เป็นเท็จ q เป็นเท็จ r เป็นเท็จ s เป็นเท็จ วิธีทำ P(p,q,r,s) = (p→q)v(r^s) P(F,F,F,F) = T "ถ้า 1+1 = 3 หรือ 2+2 = 5 แล้ว 1+2 = 4" วิธีทำ ให้ p คือ 1+1 = 3 เป็น F q คือ 2+2 = 5 เป็น F r คือ 1+2 = 4 เป็น F ประโยคข้างต้นสามารถเขียนแทนด้วย p^q→r pvq = FvF = F pvq→r = F→F = T จงเขียนประโยคที่กำหนดให้ในรูปสัญลักษณ์ (1) ถ้า 4 เป็นเลขคี่แล้ว 5 เป็นเลขคู่ p แทน 4 เป็นเลขคี่ q แทน 5 เป็นเลขคู่ ดังนั้นเขียนแทนด้วย p→q (2) 2 เท่ากับหรือมากกว่า 3 p แทน 2 เท่ากับ 3 q แทน 2 มากกว่า 3 ดังนั้นเขียนแทนด้วย pvq (3) 6 หาร 3 ได้ลงตัวก็ต่อเมื่อ 3 บวก 3 เท่ากับ 7 p แทน 6 หาร 3 ลงตัว q แทน 3 บวก 3 เท่ากับ 7 ดังนั้นเขียนแทนด้วย p↔q (4) ดอกกุหลาบมีสีแดงและดอกมะลิมีสีฟ้า p แทนดอกกุหลาบมีสีแดง q แทนดอกมะลิมีสีฟ้า ดังนั้นเขียนแทนด้วย p^q
|
