Noun: Boolean algebra
- A system of symbolic logic devised by George Boole; used in computers
- Boolean logic
Derived forms: Boolean algebras
Type of: formal logic, mathematical logic, symbolic logic
Encyclopedia: Boolean algebra