2.7 ประพจน์ที่สมมูลกัน การตรวจสอบประพจน์ที่สมมูลกันโดยใช้ตารางการหาค่าความจริง

22

ประพจนท์ ่ีสมมลู กนั
รูปแบบประพจนส์ องรปู แบบที่มีค่าความจรงิ เหมือนกันทุกกรณี เรียกว่า รปู แบบทส่ี มมูลกนั

รปู แบบ A สมมูลกบั รปู แบบ B เขียนแทนดว้ ยสัญลักษณ์ A  B

การตรวจสอบวา่ ประพจน์สมมลู กนั หรอื ไม่
1. พจิ ารณาจากตารางค่าความจรงิ สรา้ งตารางแล้วเปรียบเทยี บกรณตี อ่ กรณี

ตัวอยา่ งท่ี 1 จงสรา้ งตารางหาค่าความจริงตรวจสอบประพจนท์ ี่กาหนดให้ สมมูลกนั หรอื ไม่
1) pq กับ pq

p q p pq pq

จากตารางจะเห็นว่า pq ………………………..pq p(pq) pq

2) p  (p  q) กับ p  q
p q p p  q

จากตารางจะเหน็ ว่า p  (p  q) ………………..…….. p  q
3) pq กับ p  q

จากตารางจะเหน็ วา่ pq …………………….. p  q