Restricciones de una u otra (III)

Como sólo una de estas dos preguntas tendrá una respuesta afirmativa, los respectivos términos binarios, y y (1-y), representan las decisiones de sí o no, de manera que y + (1 -y) = 1 (un sí) automáticamente. Si en lugar de esto se usan las variables binarias separadas y1 y y2 para representar estas decisiones de sí o no, entonces se necesita una restricción adicional y1 + y2 = 1, para hacerlas mutuamente excluyentes.

A continuación se da una presentación formal de este enfoque para un caso más general.