Resolution: clause และกฎตัดคู่ตรงข้าม

1ตารางค่าความจริงยาวเกินไป ต้องมีวิธีใหม่

2literal คืออะไร และคู่ไหนเป็นคู่ตรงข้าม

3clause คือโซ่ของ literal ที่ต่อด้วย หรือ อย่างเดียว

4สลับลูกปัด ถอดวงเล็บ และรวมลูกปัดซ้ำ

5ทำไมตัดคู่ตรงข้ามทิ้งแล้วข้อสรุปยังถูก

6กฎ Resolution: ตัดคู่ตรงข้ามหนึ่งคู่ แล้วต่อที่เหลือ

7เมื่อ clause หนึ่งมี literal ตัวเดียว

8เขียน resolution proof เต็มข้อ

9เลือกคู่ให้ถูก และเคสอื่นของ resolution proof

10AND of clauses และการตัดเป็น clause เดี่ยว

11แปลงลูกศรให้เป็น clause

12นิเสธครอบวงเล็บ: De Morgan's law

13และ ในวงเล็บของ หรือ: Distributive law

14ทำเต็มสาย: แปลง ตัด แล้วชน

15สายพานเดิม กับลูกศร ลูกศรสองทาง และหลายกฎต่อกัน

16สรุปทั้งตอน และคำถามที่พาไปตอนหน้า