a system of symbolic logic devised by George Boole; used in computers

the mathematics of generalized arithmetical operations