Como condición necesaria a la definición de x + y, siguiendo una analogía muy similar a la empleada en matemáticas ordinarias, Boole estableció que x e y fuesen mutuamente exclusivas.