Boolean algebra is a set of rules to describe a problem whose outcome will either be true or false. They were formulated by an English mathematician named George Boole. He's the namesake for the rules and for the boolean type in statically typed languages.