- noun a set rules for defining, simplifying and manipulating logical functions, based on statements that are true or false
- noun a set of rules that define, simplify and manipulate logical functions, based on statements which are true or false.
- An algebraic system in which variables can have only one of two values, such as 0 or 1, or true or false, and whose primary operations are AND, OR, and NOT, analogous to the way ADD, SUBTRACT, MULTIPLY, and DIVIDE are the primary operations of arithmetic. There are various permutations on the primary operations, such as NAND and XOR. Boolean algebra serves as the foundation for digital logic.