His lasting theory, Boolean logic, is a form of algebra where all the values (or variables) are either "true" or "false". In the 1930s, Boolean Algebra was applied to the first electrical circuits ...