T กับ F เรียงยังไงไม่ให้งง? 🤔

หลายคนติดตรง “จะเริ่มเรียง T กับ F ยังไง” โดยเฉพาะเวลามีหลายตัวแปร ผมใช้วิธีนี้แล้วช่วยลดการงงได้เยอะมาก 1) หลักการเรียง T/F แบบมาตรฐาน (เริ่มจาก 2 ตัวแปรก่อน) - ถ้ามี p, q ให้เขียนจำนวนแถว = 2^2 = 4 แถว - เรียง p เป็นบล็อกยาวก่อน: T T F F - เรียง q สลับถี่กว่า: T F T F สรุปตารางพื้นฐานจะเป็น (p,q) = (T,T), (T,F), (F,T), (F,F) 2) ถ้ามี 3 ตัวแปร p, q, r (คนชอบพลาดตรงนี้) จำนวนแถว = 2^3 = 8 - p: T T T T F F F F (บล็อกยาว 4) - q: T T F F T T F F (บล็อกยาว 2) - r: T F T F T F T F (สลับทุก 1) ทริคจำ: ตัวแปรซ้ายสุด “สลับช้าที่สุด” ตัวขวาสุด “สลับเร็วที่สุด” 3) สรุปค่าความจริงเครื่องหมายที่เจอบ่อย (ตามที่ชอบใช้ลงตาราง) - นิเสธ ~p: สลับค่าเลย ~T=F และ ~F=T - และ p ∧ q: จริงเมื่อ “ทั้งคู่จริง” เท่านั้น (TT ได้ T ที่เหลือ F) - หรือ p ∨ q: เท็จเมื่อ “ทั้งคู่เท็จ” เท่านั้น (FF ได้ F ที่เหลือ T) - ถ้า…แล้ว p→q: อันนี้คนงงสุด แต่จำง่ายมากว่า “เท็จแค่กรณีเดียว” คือ p=T แต่ q=F (T→F = F) นอกนั้นเป็น T หมด - ก็ต่อเมื่อ p↔q: จริงเมื่อ “เหมือนกัน” (TT และ FF เป็น T) 4) ตัวอย่างเร็ว ๆ ของ p→q (ตอบโจทย์คำค้น t -> f) ถ้าเรียง (p,q) แบบมาตรฐาน: - T,T: p→q = T - T,F: p→q = F ← จำจุดนี้ให้แม่น - F,T: p→q = T - F,F: p→q = T ทริค: เห็น “T→F” ให้สะดุดทันที เพราะเป็นเคสเดียวที่ได้ F 5) เวลาเจอนิพจน์ยาว ๆ ให้เริ่มหาค่าจากไหนก่อน? ผมจะทำคอลัมน์ย่อยตามวงเล็บ/ความสำคัญของเครื่องหมายก่อน เช่น - ทำ ~p ก่อน - แล้วค่อยทำ (p∧q), (p→q) ทีละส่วน - สุดท้ายค่อยเอามารวมเป็นคอลัมน์คำตอบ การแตกคอลัมน์ย่อยช่วยลดผิด โดยเฉพาะโจทย์ที่มีทั้ง ~, ∧, ∨, →, ↔ ในข้อเดียว ถ้าจุดที่ทำให้งงคือ “เรียงแถวผิดตั้งแต่ต้น” แนะนำให้ยึดแพตเทิร์นบล็อก (ยาว 4-2-1 สำหรับ 3 ตัวแปร) แล้วค่อยเติมค่าตามเครื่องหมาย จะไหลลื่นขึ้นมากครับ/ค่ะ