Lorsqu’un bool\u00e9en est expos\u00e9 \u00e0 tous les termes d’une alternative \u00e0 laquelle il n’appartient pas, alors il est n\u00e9cessairement faux.<\/p>\n
Cette technique est un cas particulier de l’invariance; elle est beaucoup plus facile mettre en place. Elle s’utilise uniquement sur les bool\u00e9ens, alors que l’invariance concerne aussi les cases vides.<\/p>\n
La technique est aussi une g\u00e9n\u00e9ralisation de l’intersection aux bool\u00e9ens. Si l’exposition s’applique dans une seule grille, alors il s’agit d’un cas d’intersection. L’int\u00e9r\u00eat de la technique de l’exposition est qu’elle s’applique \u00e0 un bool\u00e9en dupliqu\u00e9 dans plusieurs grilles sans qu’il y ait d’intersection.<\/p>\n
Soit une alternative A form\u00e9e de n bool\u00e9ens. Tout bool\u00e9en n’appartenant pas \u00e0 A, expos\u00e9 \u00e0 l’ensemble des n bool\u00e9ens de A, est faux.<\/p><\/blockquote>\n
Il faut rep\u00e9rer les alternatives form\u00e9es par des bool\u00e9ens en commen\u00e7ant par les plus simples, celles \u00e0 deux termes. Une fois qu’une alternative est trouv\u00e9e, on cherche les bool\u00e9ens hors de cette alternative qui sont expos\u00e9s \u00e0 tous ses termes. Si on en trouve un, alors il est faux.<\/p>\n
La plupart du temps, le bool\u00e9en recherch\u00e9 est pr\u00e9sent en plusieurs exemplaires sur la grille.<\/p>\n
Notez qu’un tel bool\u00e9en peut lui-m\u00eame faire partie d’une autre alternative.<\/p>\n