XY-wing

Dadas tres casillas con solo dos candidatos cada una:

la casilla 1 (c1) contiene un candidato llamado 'x' y el otro llamado 'y',
la casilla 2 (c2) contiene un candidato llamado 'x' y el otro llamado 'z',
la casilla 3 (c3) contiene un candidato llamado 'y' y el otro llamado 'z',

además hay una relación de par conjugado entre las casillas c1 y c2 con el candidato 'x', y
también hay una relación de par conjugado entre las casillas c1 y c3 con el candidato 'y',

entonces en las casillas (a excepción de c1) que compartan simultáneamente un grupo con las casillas c2 y c3, se podrá eliminar el candidato 'z'.

Veamos un ejemplo:

Sudoku: XY-wing

XY-wing. La casilla B8 tiene una relación de par conjugado con A7 para el candidato 8, y también tiene una relación de par conjugado con E8 para el candidato 2. Como la casilla F7 tiene un grupo en común con A7 y E8 (Fila 7 y Región R8), el candidato 7 (es el candidato común a estas dos casillas) puede ser eliminado de F7.
Esto se ve claramente analizándolo así:
Si B8 es un 8, A7 es un 7, entonces F7 NO puede ser 7.
Si B8 es un 2, E8 es un 7, entonces F7 NO puede ser 7.
En los dos casos F7 NO puede ser 7, con lo que puede ser eliminado como candidato.