from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. 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
- n. 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.
- n. a system of symbolic logic devised by George Boole; used in computers
Sorry, no etymologies found.