Logical algebra
In mathematical and mathematical logic, logical algebra (sometimes also called switch algebra, Boolean algebra) is a sub-domain of the algebra of algebra that the value of the variable is only true and false (usually denoted as 1 and 0). The value of the variable in the elementary algebra is the number, and the main operation is the addition and multiplication, and the main operation of the logical algebra is taken as ∧; it is denoted as ∨; Thus, it is a formalism that describes the logical relationship in the same way that ordinary algebra describes digital relationships. The logical algebra was introduced by George Boole in his first book, Mathematical Analysis of Logic (1847), and more fully presented in his "study of the law of thought" (1854) Logical algebra. According to Huntington "boolean algebra" the term, was originally proposed by Sheffer in 1913. Logical algebra has always been the basis for digital circuit design, and all modern programming languages provide support. It is also used in set theory and statistics. ...