Words: Boolean logic Boolean algebra
Part of speech: n
Definition: a system of symbolic logic devised by George Boole; used in computers