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

the mathematics of generalized arithmetical operations

of or relating to a combinatorial system devised by George Boole that combines propositions with the logical operators AND and OR and IF THEN and EXCEPT and NOT