boolean algebra n a system of symbolic logic devised by George Boole; used in computers Synonym(s) Boolean logic Boolean algebra