A General Logic for Sudoku

Monster #224 from list 1465

This is part of a set-logic solution to monster puzzle #224 from the 1465 list. The original solution to the puzzle (by ttt) was presented here. The elimination logic has the form:

rank N(n sets+ m linksets), [ cover set list ]x[ cover linkset list ] reason for elimination => results

For more information on notation and set logic eliminations, see quick reference. For a full description of sets and Sudoku set logic, see the SudokuOne.com website. The entire set logic solution is here.

Elimination 8, Locked Candidates

The set logic notation for the elimination is:

Rank 0(1+1), [1c5]x[1b8] 1b8 => r7c6<>1, r8c4<>1, r8c6<>1