By solving Boolean equations, logicians can more easily see when one combination of propositions logically leads to another. A Hundred Years Later. If this seems extremely abstract, it is.