O Guindastre é unha cadea curta nun díxito: forte–débil–forte. O Rañaceos, o Papaventos de dúas cordas e o Guindastre son basicamente a mesma familia: debuxos diferentes da Cadea X / AIC útil máis curta.
Antes disto: Da mesma familia turbot que o Rañaceos e o Papaventos de dúas cordas.
Por que funciona
As ligazóns fortes significan “exactamente un é verdadeiro”. As ligazóns débiles significan “non poden ser os dous verdadeiros”. Alternalas obriga a unha conclusión útil nos extremos: polo menos un extremo é verdadeiro, así que as celas que ven os dous extremos non poden conter o díxito.
Se entendes o Rañaceos, xa entendes o Guindastre: a mesma lóxica, outra xeometría.
Demostración
Para un díxito, segue unha ligazón forte, despois unha débil e despois outra forte.
As celas verdes forman un Guindastre en 5: un pequeno turbot / Cadea X.
A cadea di que polo menos un extremo ten que ser verdadeiro para 5. As veciñas comúns dos dous extremos non están a salvo en ningún caso.
Elimina 5 das celas que ven os dous extremos (vermello).
Exemplo 1
Atopa unha cadea curta forte–débil–forte nun díxito.
Este Guindastre implica 3.
Quita 3 das celas que ven os dous extremos (vermello). Un dos extremos ten que ser verdadeiro.
Exemplo 2
Atopa unha cadea curta forte–débil–forte nun díxito.
Este Guindastre implica 1.
Quita 1 das celas que ven os dous extremos (vermello). Un dos extremos ten que ser verdadeiro.