Boolean algebra

from The American Heritage® Dictionary of the English Language, 5th Edition.

• noun An algebra in which variables may have one of two values and the operations defined on them are logical OR, a type of addition, and logical AND, a type of multiplication.

from Wiktionary, Creative Commons Attribution/Share-Alike License.

• noun algebra, logic, computing An algebra in which all elements can take only one of two values (typically 0 and 1, or "true" and "false") and are subject to operations based on AND, OR and NOT
• noun algebra A De Morgan algebra which also satisfies the law of excluded middle and the law of noncontradiction.

from WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved.

• noun a system of symbolic logic devised by George Boole; used in computers