by pjb » Wed Jul 30, 2014 5:47 am
if BUG technique is too esoteric, a little XY chain suffices:
(5=4)r5c1 - (4=1)r5c9 - (1=4)r6c8 - (4=1)r3c8 - (1=5)r3c5 => r3c1 <> 5
Which translates as:
if the 5 at r5c1 is true, then the 5 at r3c1is false
if the 5 at r5c1 is false, then the 5 at r3c5 is true, therefore the 5 at r3c1 is false
either way, the 5 at r3c1 must be false and can be removed.
Phil