ใช้ตารางแสดงค่าความจริง จงตรวจสอบว่าประพจน์ต่อไปนี้สมมูลกันหรือไม่ → กับ ~ ∨ จะเห็นว่า ค่าความจริงของ → กับ ~ ∨ ตรงกันกรณีต่อกรณี ดังนั้น → สมมูลกับ ~ ∨