Exposition aux alternatives
Lorsqu’un booléen est exposé à tous les termes d’une alternative à laquelle il n’appartient pas, alors il est nécessairement faux. Cette technique est un cas particulier de l’invariance; elle est beaucoup plus facile mettre en place. Elle s’utilise uniquement sur les booléens, alors que l’invariance concerne aussi les cases vides. La technique est aussi une […]
