 In mathematics and mathematical logic, bootle and algebra is the branch of algebra in which the values of the variables are the truth values true and false, usually denoted 1 and 0 respectively. Instead of elementary algebra where the values of the variables are numbers, and the primed operations are addition and multiplication, the main operations of bootle and algebra are the conjunction and denoted as, the disjunction for denoted as, and the negation not denoted as. It is thus a formalism for describing logical relations in the same way that elementary algebra describes numeric relations. Bootle and algebra was introduced by George Bull in his first book The Mathematical Analysis of Logic 1847 and set forth more fully in his an investigation of the laws of Thaw 1854. According to Huntington, the term bootle and algebra was first suggested by Schaefer in 1913, although Charles Sanders Pierce in 1880 gave the title a Boolean algebra with one constant to the first chapter of his ne-simplest mathematics. Bootle and algebra has been fundamental in the development of digital electronics, and is provided for in all modern programming languages. It is also used in set theory and statistics.