ปั้นจั่น คือโซ่สั้นบนตัวเลขเดียว: แข็ง–อ่อน–แข็ง ตึกระฟ้า ว่าวสองสาย และปั้นจั่น โดยพื้นฐานแล้วเป็นตระกูลเดียวกัน — แค่วาดต่างกันของ X-Chain / AIC ที่สั้นที่สุดที่ใช้ได้จริง
ก่อนบทนี้: ตระกูล turbot เดียวกับตึกระฟ้าและว่าวสองสาย
ทำไมถึงได้ผล
ลิงก์แข็งหมายถึง “มีหนึ่งตัวที่เป็นจริงพอดี” ลิงก์อ่อนหมายถึง “เป็นจริงทั้งคู่ไม่ได้” การสลับกันบังคับให้ได้ข้อสรุปที่มีประโยชน์ที่ปลาย: ปลายอย่างน้อยหนึ่งข้างเป็นจริง ดังนั้นช่องที่มองเห็นปลายทั้งสองจะเป็นตัวเลขนั้นไม่ได้
ถ้าคุณเข้าใจตึกระฟ้า คุณก็เข้าใจปั้นจั่นแล้ว — ตรรกะเดียวกัน แค่รูปทรงต่างกัน
การสาธิต
สำหรับตัวเลขหนึ่งตัว ตามลิงก์แข็ง แล้วลิงก์อ่อน แล้วลิงก์แข็งอีกเส้น
ช่องสีเขียวเป็น ปั้นจั่น ของ 5 — turbot / X-Chain ขนาดจิ๋ว
โซ่บอกว่าปลายอย่างน้อยหนึ่งข้างต้องเป็นจริงสำหรับ 5 ช่องข้างเคียงร่วมของปลายทั้งสองไม่ปลอดภัยไม่ว่าทางไหน
ตัด 5 ออกจากช่องที่มองเห็นปลายทั้งสอง (สีแดง)
ตัวอย่างที่ 1
หาโซ่สั้นแบบแข็ง–อ่อน–แข็งบนตัวเลขเดียว
ปั้นจั่นนี้เกี่ยวกับ 3
ลบ 3 ออกจากช่องที่มองเห็นปลายทั้งสอง (สีแดง) ปลายข้างหนึ่งต้องเป็นจริง
ตัวอย่างที่ 2
หาโซ่สั้นแบบแข็ง–อ่อน–แข็งบนตัวเลขเดียว
ปั้นจั่นนี้เกี่ยวกับ 1
ลบ 1 ออกจากช่องที่มองเห็นปลายทั้งสอง (สีแดง) ปลายข้างหนึ่งต้องเป็นจริง