An algebraic system developed by George Boole. Uses operations such as "And", "Or" and "Not" on Binary True/False values. It may be used to accomplish complex tasks.
Boolean logic is a two-element boolean algebra, a formalism that gives algebraic semantics for classical propositional logic.