22 lines
1.0 KiB
Markdown
22 lines
1.0 KiB
Markdown
|
---
|
|||
|
title: Algebra of Logic
|
|||
|
localeTitle: 逻辑代数
|
|||
|
---
|
|||
|
## 逻辑代数
|
|||
|
|
|||
|
_逻辑_或_布尔代数的代数_是数学的一个分支。它处理变量及其真值。变量有两种可能的状态 - `true`或`false` 。
|
|||
|
|
|||
|
它首先由George Boole在他的着作“逻辑的数学分析”(The Mathematical Analysis of Logic,1847)中介绍。
|
|||
|
|
|||
|
布尔代数是数字电子学发展的基础。它负责使所有现代计算成为可能。
|
|||
|
|
|||
|
布尔代数中的三个基本操作是`AND` , `OR`和`NOT` 。考虑两个布尔变量`x`和`y` :
|
|||
|
|
|||
|
* `x AND y` ,当且仅当两个是真正的`x`和`y`属实
|
|||
|
* 当且仅当`x` , `y`中的任何一个为真时, `x OR y`才为真。如果`x` , `y`都为真,则`x OR y`仍然为真
|
|||
|
* 当且仅当`x`为假时, `NOT x`为真,反之亦然
|
|||
|
|
|||
|
### 更多信息:
|
|||
|
|
|||
|
* 逻辑微积分: [乔治布尔](http://www.maths.tcd.ie/pub/HistMath/People/Boole/CalcLogic/CalcLogic.html)
|
|||
|
* 布尔代数文章: [维基百科](https://en.wikipedia.org/wiki/Boolean_algebra)
|