designating or of any of a number of mathematical systems, esp. one (Boolean algebra) devised using algebraic rules and symbols for the analysis of symbolic logic, which is now widely used in digital computers since its true-false results are compatible with binary numbers