For 10 points, name this mathematician whose work is associated with truth tables and binary mathematics.
This man's namesake inequality, a form of the Bonferroni inequality, states that for any finite or countable set of events, the probability of at least one of them occurring is no greater than the sum of the probabilities of the individual events. His namesake algebras satisfy the properties of a lattice, and his name is given to rings in which every element is idempotent. In 1938 Claude Shannon applied his theories to electrical switching circuits, showing that, with two variables, the operators "meet" and "join" could be used to simplify electromechanical relays, laying the basis for computer chips. For 10 points, name this mathematician whose work is associated with truth tables and binary mathematics.
This man's namesake inequality, a form of the Bonferroni inequality, states that for any finite or countable set of events, the probability of at least one of them occurring is no greater than the sum of the probabilities of the individual events.
George Boole