n. a logical operation which assists domains in translating symbolic statements into algebraic equations. These are consistent with mathematical rules that yield logical conclusions. Devised by British mathematician and logician George Boole (1815-1864).