En 1854, George Boole presentó un enfoque sistemático de la lógica, conocido como álgebra booleana, que se basa en variables que solo pueden tomar dos valores. El álgebra booleana se rige por varios postulados importantes, como la ley conmutativa, que establece que el orden de los términos no afecta el resultado en las operaciones de suma y producto.