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