A form of algebra in which all values are reduced to either true/false, named after the nineteenth century mathematician George Boole.