A General Logic for Sudoku

Rank 0 Double Loops

 

Points. Any logic with equal numbers of non-operlapping sets and linksets eliminates all candidates in its linksets.

 

 

Rank 0 Double Loop

 

 

This rank 0 double loop is covered by the first rule of Sudoku set theory that says any logic with equal numbers of sets and linksets will eliminate all candidates in all its linksets, if no sets overlap. The logic has 5 sets covered by 5 linksets, all of which are rank 0 (highlighted black). The 2 eliminated candidates (orange) are in row set r77.

 

Rank 0 Double Loop, Example 2

 

 

In this second rank 0 example, the eliminated digit 4 sits in box set b44. All linksets must be rank 0, linkssets are not highlighted.