การสมมูล

1สองประโยคหน้าตาต่างกัน แต่จริงเท็จตรงกันทุกแถว

2พิสูจน์ด้วยตาราง: เติมทีละคอลัมน์ แล้วเทียบสองก้อน

3นิเสธครอบลูกศร: ตารางเดียวเจอทั้งคู่ที่สมมูลและคู่ที่ไม่สมมูล

4ตารางสามตัวแปร: 8 แถว เติมจากในวงเล็บออกมา

5เขียนลูกศรใหม่: implication law · contrapositive law · bicondition law

6นิเสธวิ่งเข้าวงเล็บ: De morgan's law · double negation law

7สลับ จัดกลุ่ม กระจาย: commutative · associative · distributive law

8พิสูจน์ด้วยกฎ: ทีละบรรทัด หนึ่งบรรทัดหนึ่งกฎ

9แทนก้อนลงในกฎ: ครอบวงเล็บทั้งก้อนเสมอ

10เหลือแค่ นิเสธ และ หรือ: ไฟแดงดับทีละดวง แล้วค่อยย่อให้สั้น

11สรุปการสมมูลเป็นสามภาพ แล้วพร้อมไปทำโจทย์ประจำสัปดาห์