r.e.s. wrote:Myth Jellies wrote:(6 = 1&2)[top ALS] - ((1or2) = (8or9))[quad cell] - (8&9 = 4)[bottom ALS]
Therefore there is a stong-only link between the 4 and the 6.
Myth,
Wouldn't it be better to just write 6 = 8v9 - 1v2 = 4 ?
6 = 8v9 to avoid the impossible 12-12-12
8v9 - 1v2 obviously
1v2 = 4 to avoid the impossible 89-89-89
Your analysis is equally valid and shorter, but...
(6 = 1&2)af1 - (12 = 89)k1 - (8&9 = 4)k59
actually shows all of the candidates and cells used in the deduction without need for further explanation; and, if you actually close the loop, say with
(6=1&2)af1 - (12=89)k1 - (8&9=4)k59 - (4=6)f5 -...
when you convert all the weak links into strong links because of the loop, it is fairly simple to see that you eliminate
all other 6's in row f
all other 4's in column 5
all other 1's and 2's in column 1 (either af1 = 1&2 or k1 = 12 which forms naked pair with a1)
and all other 8's and 9's in row k (for similar reasons)