1.3: El bit de control
( \newcommand{\kernel}{\mathrm{null}\,}\)
En los programas de computadora, a menudo se utilizan expresiones booleanas para determinar el flujo de control, es decir, qué sentencias se ejecutan. Supongamos, por ejemplo, que si una variablexy es negativa y otra positiva, entonces una tercera variablez debe establecerse en cero. En el esquema de lenguaje, la siguiente afirmación lograría esto: (si (< x 0) (> y (y 0)) (definir z 0)) (otros idiomas tienen sus propias formas de expresar lo mismo).
El álgebra de bits de control es como álgebra booleana con una diferencia interesante: cualquier parte de la expresión de control que no afecte al resultado puede ser ignorada. En el caso anterior (suponiendo que los argumentos de y se evalúen de izquierda a derecha), si sex encuentra positivo entonces el resultado de la operación y es 0 independientemente del valor dey, por lo que no hay necesidad de ver siy es positivo o incluso de evaluary. Como resultado, el programa puede funcionar más rápido, y los efectos secundarios asociados con la evaluacióny no ocurren.