Boolean algebra, and other forms of abstract propositional logic, ... Boole recognized that this kind of logic based on combining symbols for propositions using connectors like "and", ...

Boolean algebra is a branch of mathematics that deals with operations on logical values with binary variables. Boolean variables are represented as binary numbers to represent truths: 1 = true and ...