adjective
designating or of any of a number of mathematical systems, esp. one () 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