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.