在 6×6 棋盤上的標準 Binairo 是一款二元邏輯謎題，每個橫列與每個直行都必須包含三個 0 與三個 1，不可有三個相同數字相鄰並排，同一方向上也不可有兩條已完成的線完全相同。共有八個儲存格預先填入作為不可變動的已知數，其餘 28 個可編輯的儲存格各自持有三種明確的工作狀態之一:未知、0 或 1。這三條規則同時生效，因此一條平衡的線若複製了另一條線，或包含 000，仍然是不合法的;此謎題之所以可解，正是因為各限制條件彼此交互作用。獨立列舉所有 64 種可能的六位元字串，並篩選掉不符合平衡與不可三連的組合後，恰好剩下 14 種合法的線條樣式;Lizely 題庫從中挑選六種，使它們共同恰好容許唯一一個完整棋盤。逐步解開這個決定性的棋盤，是一種無需從頭設計謎題、即可練習所有推理家族的精簡方式，而同一組八個已知數永遠會出現在相同的位置。
規範每個 Binairo 儲存格的三條規則
每個謎題狀態都可以同時對照三條獨立的規則進行檢驗，而這三條規則必須全部成立。第一條規則通常稱為平衡，要求每個橫列與每個直行都恰好包含三個 0 與三個 1。第二條規則通常稱為相鄰，禁止任何橫列或直行中出現連續三個相同數字的排列，因此像 000、111 或更長的序列都是不合法的。第三條規則通常稱為唯一性，要求沒有任何兩條已完成的橫列完全相同，也沒有任何兩條已完成的直行完全相同。這三條規則會以隱藏推理於表面捷徑背後的方式彼此交互。
若某橫列在已知儲存格中已有三個 0，即使填入後該列會與另一橫列重複，也必須以三個 1 填滿——正是這個重複迫使唯一性在棋盤其他位置拒絕所提出的數字。同理，若某直行在第 2 與第 3 格為 0，則第 4 格必須為 1，即使在該處放置 1 會使該直行趨近於與已完成的直行重複。解開棋盤代表對每一次填入同時執行三項檢查，而不是依序套用。
6×6 謎題如何建構並證明其唯一性
棋盤起始有八個固定且不可更動的已知數。它們分別位於第 1 列第 1 行;第 2 列第 6 行;第 3 列第 3 行與第 4 行;第 4 列第 3 行;第 5 列第 5 行;以及第 6 列第 2 行與第 6 行。每個儲存格皆以獨特的視覺方式呈現，使你不會將可編輯儲存格誤認為起始數字。棋盤共有 36 格，扣除 8 個已知數後，解題者總共需決定 28 格:36 減 8 等於 28，而每個橫列在完成後皆恰好包含三個 1 與三個 0。
唯一性並非憑空假設，而是經由機械方式證明。建構方式是先列出從 000000 到 111111 的所有六位元字串，共得到 64 個候選，接著僅保留符合三個 0、三個 1，且不含三個相同數字連續出現的字串——結果共有 14 種合法的橫列樣式。從中，題庫挑選符合已知數的六條相異橫列，接著逐行建構直行，同時拒絕任何違反平衡或構成三重相同數字的行前綴。當六個直行皆完成後，搜尋過程要求六個直行彼此相異且皆為合法樣式。這個獨立程序對此組提示數恰好回傳唯一一個棋盤。
這八個提示數也會被逐一測試。搜尋會在每次輪流移除一個已知數後重新執行，並在找到兩個解答時立即停止。每次移除皆容許超過一種完成方式，這證明了每個可見的已知數都對唯一性有所貢獻。沒有任何一個提示數是裝飾性的。你在 Binairo (二元邏輯謎題) 玩的謎題，正是這次精確搜尋的成果，而非借用自其他來源的棋盤。
逐步解開棋盤
- 開啟 Binairo (二元邏輯謎題)，確認八個已知數出現在文件中記錄的位置，且第一個可編輯儲存格已預先被選取。
- 掃描每個橫列與每個直行，找出在已知儲存格中已包含三個 0 或三個 1 的線。該行中任何剩餘的開放儲存格，皆會被平衡規則強制填入相反的數字。
- 尋找由一個未知儲存格隔開的相同數字相鄰對。像 0 _ 0 這樣的型態會強制中間格為 1;1 _ 1 的情況亦同，強制為 0。位於橫列或直行邊緣的對組，則將此規則向外延伸至邊緣的第三格。
- 針對每個已有五格確定的橫列，檢查第六格是否會與另一條已完成的橫列重複。若會重複，則在替代方案仍符合平衡與相鄰規則的前提下，嘗試更換最後放置的數字。
- 針對每個已有五格確定的直行，對其他五條已完成的直行重複相同的唯一性檢查。
- 將任何仍為未知的儲存格，填入唯一同時滿足平衡、相鄰與唯一性的數字。
- 選擇「檢查棋盤」或按下 Enter。唯一正確的完成結果會恰好獲得 1,000 分。
若在檢查時仍有任何可編輯儲存格為未知，棋盤會被回報為未完成，你的錯誤計數器不會推進。這讓你能在不受處罰的情況下檢視半完成的嘗試，並從中斷處繼續推理。
三種推理家族與其組合方式
Binairo 的三條規則衍生出三種推理家族，而你套用它們的順序會改變棋盤被解開的速度。
| 推理方式 | 所利用的型態 | 所強制產生的結果 |
|---|---|---|
| 平衡 | 在已知儲存格中已含三個 0 或三個 1 的線 | 該線中所有其他開放儲存格皆成為相反的數字 |
| 相鄰 | 由一個開放儲存格隔開、或位於邊緣的兩個相同鄰居 | 中間儲存格，或邊緣的第三格，成為相反的數字 |
| 唯一性 | 幾乎完成的線若會複製一條已完成的線 | 最後一個開放數字必須更換，即使平衡與相鄰規則容許複製 |
平衡推理通常最先出現，因為它只需要計算已知數字。相鄰推理次之，因為它只需要讀取鄰居對。唯一性推理最後出現，因為它需要同一方向上至少一條已完成的線作為比較對象。一個有用的習慣是依序掃描每條線，並在第一個適用的推理處停下;在規則間跳來跳去常會重複工。當兩個推理相互衝突時——例如相鄰規則建議 0 而唯一性建議 1——應信任唯一性，因為禁止三連相同只需兩個該數字的複本，而唯一性則是直接禁止整條線的重複。
鍵盤與觸控操作一覽
| 動作 | 觸控或指標 | 鍵盤 |
|---|---|---|
| 在儲存格間移動 | 點選可編輯儲存格以選取 | 方向鍵 |
| 將儲存格設為 0 | 選取儲存格後點選「設為 0」按鈕，或點選循環至 0 | 0 |
| 將儲存格設為 1 | 選取儲存格後點選「設為 1」按鈕，或點選循環至 1 | 1 |
| 將儲存格清除回未知 | 「清除」按鈕或循環越過 1 | Delete 或 Backspace |
| 循環 未知 → 0 → 1 → 未知 | 重複點選可編輯儲存格 | Space |
| 檢查整個棋盤 | 「檢查棋盤」按鈕 | Enter |
起始數字無法被更改。「清除」按鈕、循環點選、Delete 鍵與 Space 鍵都僅作用於當前選取的可編輯儲存格，因此對已知數的誤觸不會產生影響。棋盤以六個有界直行排列，儲存格為正方形，可在 390 像素的視窗中顯示而無需水平捲動，這使得無論是在桌面或狹窄的手機螢幕上，相同的點選目標都能保持可見。
計分、錯誤與重玩規則
棋盤以整數計分。檢查一塊未完成的棋盤會被回報為未完成，錯誤計數器不會推進，因此你可以將「檢查棋盤」作為填入過程中的規劃工具。一塊已填滿但錯誤的棋盤會增加一次錯誤並保持可編輯，讓你能修正違反規則的儲存格。第二次填滿後仍檢查錯誤，則該局會進入鎖死狀態，直到你選擇「重玩」;而「重玩」會重新載入相同的固定謎題與相同的八個已知數，所有其他儲存格皆重置為未知、分數重設為 0，並選取第一個可編輯儲存格。
唯一正確的棋盤恰好可獲得 1,000 分。完成與「兩次錯誤鎖死」皆為終止狀態:發生任一情況後，棋盤按鈕、「設為 0」與「設為 1」、「清除」按鈕、「檢查棋盤」按鈕、鍵盤編輯與方向鍵皆不再改變遊戲狀態。所有謎題邏輯皆在瀏覽器本地端執行，不會傳送任何資料到伺服器，不需要帳號，也不會請求任何權限。
1,000 分的成績所能證明與無法證明的事
Binairo 是休閒性質的邏輯練習，並非標準化的認知測驗。Lizely 題庫是單一具決定性的棋盤，經過反覆遊玩後會變得熟悉，而 1,000 分的成績僅代表你在其宣告的規則下完成了這一個謎題。分數並不衡量一般智力、工作記憶、注意力、教育準備度或任何醫學或心理特質。將其視為讓三種推理家族——平衡、相鄰、唯一性——保持敏銳的方法，以及在每一步同時對照所有規則進行稽核的方式。
標準規則用語本身引用自 Conceptis Tic-Tac-Logic 規則與 Puzzle Binairo 等已發表的參考資料;這些來源定義了此處所使用的三項限制，但並未提供此棋盤、分數、介面或錯誤政策。這些皆為原創的產品決策，這正是為何一個獨立列舉程序能找到恰好一個棋盤，而不是從別處繼承謎題的原因。
延伸閱讀:如何為下一步選擇——四位元二元遊戲指南。
延伸閱讀:方塊堆疊謎題規則:每次放置皆須滿足的條件。