1. กำหนดประพจน์
(Propositions)
รูปแบบประพจน์ไม่ถูกต้อง กรุณาตรวจสอบวงเล็บและตัวเชื่อม
2. ผลสรุปการสมมูล
3. ตารางค่าความจริง (Truth
Table)
เปรียบเทียบค่าความจริงกรณีต่อกรณี หากคอลัมน์สุดท้ายของทั้งสองประพจน์มีค่าตรงกันทุกกรณี ถือว่าสมมูลกัน