His branch of mathematics now includes DeMorgan's Laws and is often used with sets and bits.
Schaefer's dichotomy theorem applies to his namesake satisfiability problem, an early NP- complete problem, and his namesake inequality relates probabilities of several events in metric spaces. The satisfiability problem examines whether variables can be assigned so as to make a certain formula evaluate to one. His now most-noted work originally did not garner much notice, but Claude Shannon's MIT master's thesis written 70 years later brought his namesake math into the forefront of the design of telephone relay systems. His branch of mathematics now includes DeMorgan's Laws and is often used with sets and bits. Identify this British creator of an algebra dealing with truth and falsehood and logical operations in which variables often can equal only zero or one.
Schaefer's dichotomy theorem applies to his namesake satisfiability problem, an early NP- complete problem, and his namesake inequality relates probabilities of several events in metric spaces.
George Boole