การตรวจสอบว่าประพจน์สมมูลกันหรือไม่ ทำได้ 2 วิธี ดังนี้
ใช้ตารางแสดงค่าความจริง
ตัวอย่าง จงตรวจสอบว่าประพจน์ต่อไปนี้สมมูลกันหรือไม่
1. p → q กับ ~p ∨ q
จะเห็นว่า ค่าความจริงของ p → q กับ ~p v q ตรงกันกรณีต่อกรณี
ดังนั้น p → q สมมูลกับ ~p ∨ q
2. ~p ^ q กับ p → q
จะเห็นว่า ค่าความจริงของ ~p ^ q กับ p → q มีบางกรณีต่างกัน
ดังนั้น ~p ^ q ไม่สมมูลกับ p → q
ไม่มีความคิดเห็น:
แสดงความคิดเห็น