Boolean algebra (nonfiction): Difference between revisions
No edit summary |
|||
| Line 3: | Line 3: | ||
It is thus a formalism for describing logical relations in the same way that ordinary algebra describes numeric relations. | It is thus a formalism for describing logical relations in the same way that ordinary algebra describes numeric relations. | ||
Boolean algebra was introduced by George Boole in his first book ''The Mathematical Analysis of Logic'' (1847), and set forth more fully in his ''An Investigation of the Laws of Thought'' (1854). | Boolean algebra was introduced by [[George Boole (nonfiction)|George Boole]] in his first book ''The Mathematical Analysis of Logic'' (1847), and set forth more fully in his ''An Investigation of the Laws of Thought'' (1854). | ||
According to Huntington, the term "Boolean algebra" was first suggested by Sheffer in 1913. | According to Huntington, the term "Boolean algebra" was first suggested by Sheffer in 1913. | ||
| Line 13: | Line 13: | ||
== In the News == | == In the News == | ||
<gallery | <gallery> | ||
</gallery> | </gallery> | ||
| Line 22: | Line 22: | ||
== Nonfiction cross-reference == | == Nonfiction cross-reference == | ||
* [[George Boole (nonfiction)]] | |||
* [[Logic (nonfiction)]] | * [[Logic (nonfiction)]] | ||
* [[Set theory (nonfiction)]] | * [[Set theory (nonfiction)]] | ||
Revision as of 16:39, 26 July 2017
In mathematics (nonfiction) and mathematical logic, Boolean algebra (or Boolean logic) 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.
It is thus a formalism for describing logical relations in the same way that ordinary algebra describes numeric relations.
Boolean algebra was introduced by George Boole in his first book The Mathematical Analysis of Logic (1847), and set forth more fully in his An Investigation of the Laws of Thought (1854).
According to Huntington, the term "Boolean algebra" was first suggested by Sheffer in 1913.
Boolean 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.